[isabelle-dev] Poly/ML 5.3.0 packaging

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Thu May 27 10:25:40 CEST 2010

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 news! Thanks for doing this.


More information about the isabelle-dev mailing list