I'm pleased to announce that HOL Light is now hosted on Google Code: http://code.google.com/p/hol-light/
You can get up-to-the minute sources from this repository using subversion, e.g. svn checkout http://hol-light.googlecode.com/svn/trunk/ hol_light or just browse the code online. John. ------------------------------------------------------------------------------ Download Intel® Parallel Studio Eval Try the new software tools for yourself. Speed compiling, find bugs proactively, and fine-tune applications for parallel performance. See why Intel Parallel Studio got high marks during beta. http://p.sf.net/sfu/intel-sw-dev _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
