Timing bug in Moscow ML!

Kananaskis-1 has been made pretty well unusable because of a time overflow problem in the underlying Moscow ML v2.00. The working version in CVS has been fixed (for downloading from CVS see http://sourceforge.net/cvs/?group_id=31790 for instructions), at least for non-Windows users.

You can also download a new version of Moscow ML from its home-page at
http://www.dina.dk/~sestoft/mosml.html. You will
need to rebuild Moscow ML, and then all of HOL. There will hopefully be a Windows version of 2.01 available soon.

The 2.01 distribution of Moscow ML fixes some bugs but doesn't on its own fix the cause of HOL's problems. You will need to either work from the CVS repository or wait for a fix from us. (We will announce fixes here and on the info-hol mailing list.)