Am 26.05.2010 um 18:54 schrieb Makarius:
* 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.
That is excellent
For the upcoming Isabelle release there will be a repackaged version of
Poly/ML 5.3.0, see the current setup in
http://www4.in.tum.de/~wenzelm/test/polyml-5.3.0.tar.gz
The same is already installed at /home/polyml/polyml-5.3.0 locally.
There are two notable changes for improved performance: