[isabelle-dev] NEWS

Makarius 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 mailing list