[isabelle-dev] Poly/ML 5.3.0 packaging

Makarius makarius at sketis.net
Wed May 26 18:54:43 CEST 2010

For the upcoming Isabelle release there will be a repackaged version of 
Poly/ML 5.3.0, see the current setup in

The same is already installed at /home/polyml/polyml-5.3.0 locally.

There are two notable changes for improved performance:

   * A SHA1 implementation as shared object (by Sascha Böhme).  It is
     available from ML via the SHA1.digest function.  In the very worst
     case the whole thing may halt and catch fire, please report any
     problems you encounter on your system.

   * Some tuning of the Poly/ML runtime to shorted the (busy) wait interval
     for external processes from 100ms to 10ms.  This improves reactivity
     of the ML bash/bash_output functions, at the cost of burning a few
     extra cycles.


More information about the isabelle-dev mailing list