[isabelle-dev] NEWS

[Makarius]

* isabelle-process: non-ML sessions are run with "nice", to prevent 
  Isabelle from flooding interactive front-ends (notably ProofGeneral / 
  XEmacs).

* 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.