I have put together very quickly a crude how-to guide on making HOL Light run on ocamlnat. I have only tested the instructions on Linux (Ubuntu 9.04). But they should work in any Unix-like environment. Please let me know if you are successful following these instructions if you dare to try them. The link to the instructions is:
http://www.math.carleton.ca/~kcheung/holnat.html ------------------------------------------------------------------------------ Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day trial. Simplify your report design, integration and deployment - and focus on what you do best, core application coding. Discover what's new with Crystal Reports now. http://p.sf.net/sfu/bobj-july _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
