| commit | 0a830c0164b676713dfc2b9113ea97eb78617635 | |
| author | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Wed, 8 Sep 2010 13:07:45 +0000 (8 13:07 +0000) | ||
| committer | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Wed, 8 Sep 2010 13:07:45 +0000 (8 13:07 +0000) | ||
| tree | 1b3f2ac9859e6c9bb2ece255428b3f4a19f1dee3 | treesnapshot (tar.gz zip) |
| parent | 8edda27fefa9f3399ce732897e4144d1b3564e19 | commitdiff |
Improve hol_light:
* Upgrade hol_light to the latest svn version on google code (r57).
* Improve and semplify the mechanism for the generation of checkpointed binaries.
* Make hol to work with camlp5 and thus with recent version of ocaml (>=3.10, <=3.11).
* Remove ocaml_with_sources which is not needed anymore.
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@23685 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
* Upgrade hol_light to the latest svn version on google code (r57).
* Improve and semplify the mechanism for the generation of checkpointed binaries.
* Make hol to work with camlp5 and thus with recent version of ocaml (>=3.10, <=3.11).
* Remove ocaml_with_sources which is not needed anymore.
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@23685 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb