| 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-build-with-camlp5-8.03.00.patch |
Fix build with camlp5 8.03.00 |
Stephane Glondu <steph@glondu.net> |
no |
|
|
2024-06-30 |