This is to announce that the hosting of HOL Light has been moved from Google Code (which is in the process of closing down) to Github. You can browse the new repo here:
https://github.com/jrh13/hol-light/ and this is now the command line to clone the source code: git clone https://github.com/jrh13/hol-light.git In particular, I hope a recent update should have fixed the build issue Ramana just reported (though I have only tested it myself with OCaml 4.02.1, not 4.02.3). The canonical HOL Light homepage remains unchanged: http://www.cl.cam.ac.uk/~jrh13/hol-light/ Note that there is another HOL Light project on Github which you might find first if you Google for it. This is Joe Hurd's fork with OpenTheory support, which is largely but not entirely upward compatible. https://github.com/gilith/hol-light John. ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
