[isabelle-dev] Poly/ML 5.3.0 packaging

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

Previous message (by thread): [isabelle-dev] Poly/ML 5.3.0 packaging
Next message (by thread): [isabelle-dev] Type variables differing only in sort constraint
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

Jasmin

Previous message (by thread): [isabelle-dev] Poly/ML 5.3.0 packaging
Next message (by thread): [isabelle-dev] Type variables differing only in sort constraint
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list