default-hollight-dir |
configure default HOL Light source directory |
Hendrik Tews <hendrik@askra.de> |
no |
|
|
2020-02-12 |
holtest-no-proof-recording.patch |
don't build the proof-recording version as part of the test suite |
Hendrik Tews <hendrik@askra.de> |
no |
|
|
2020-02-12 |
cd-holtest-parallel.patch |
cd for holtest_parallel because it works only in that directory |
Hendrik Tews <hendrik@askra.de> |
no |
|
|
2020-02-12 |
0004-Fix-compilation-with-camlp5-7.11.patch |
Fix compilation with camlp5 7.11 |
Stephane Glondu <steph@glondu.net> |
no |
|
|
2020-02-12 |