https://github.com/flyspeck/flyspeck
Revision c1060e803db38c11a7a9c211c5a921c7121d6153 authored by Alexey Solovyev on 01 September 2017, 10:02:03 UTC, committed by Alexey Solovyev on 01 September 2017, 10:02:03 UTC
1 parent 43e4ff7
Tip revision: c1060e803db38c11a7a9c211c5a921c7121d6153 authored by Alexey Solovyev on 01 September 2017, 10:02:03 UTC
or -> ||, & -> &&
or -> ||, & -> &&
Tip revision: c1060e8
| File | Mode | Size |
|---|---|---|
| Examples | ||
| JHOL.app | ||
| Tests | ||
| caml | ||
| docs | ||
| release | ||
| src | ||
| tools | ||
| .classpath | -rw-r--r-- | 803 bytes |
| .project | -rw-r--r-- | 385 bytes |
| README | -rw-r--r-- | 130 bytes |
| build.xml | -rw-r--r-- | 3.1 KB |
| echobot | -rwxr-xr-x | 125 bytes |
| echobot.bat | -rw-r--r-- | 113 bytes |
| gui.xml | -rw-r--r-- | 1016 bytes |
| hol | -rwxr-xr-x | 44 bytes |
| holdaemon | -rwxr-xr-x | 335 bytes |
| jhol.bat | -rw-r--r-- | 87 bytes |
| jhol.sh | -rw-r--r-- | 98 bytes |
| terminal | -rwxr-xr-x | 167 bytes |
| terminal.bat | -rw-r--r-- | 135 bytes |
Computing file changes ...
