search

jrh13 / hol-light

The HOL Light theorem prover
Other
435 stars 79 forks source link

Added support for Ocaml 4.04.* and camlp5 6.17 #30

Closed asr closed 7 years ago

asr commented 7 years ago

I included these versions in the Makefile.

Note: I didn't test the creation of a standalone image with these versions.

jrh13 commented 7 years ago

Belated thanks to asr --- finally merged this in.

asr commented 7 years ago

Thanks for merging the PR.