makarius at sketis.net
Sat Dec 15 21:25:48 CET 2007
* isabelle-process: non-ML sessions are run with "nice", to prevent
Isabelle from flooding interactive front-ends (notably ProofGeneral /
* JVM class isabelle.IsabelleProcess (located in Isabelle/lib/classes)
provides general wrapper for managing an Isabelle process in a robust
fashion, with ``cooked'' output from stdin/stderr.
* isatool browser now works with Cygwin as well, using general "javapath"
function defined in Isabelle process environment.
More information about the isabelle-dev