# HG changeset patch # User wenzelm # Date 1197750374 -3600 # Node ID 390d3bd0435d8c869dbded6536b06f9f14d18cc3 # Parent 6b2eb4e70ae30aa231cf86ad6fbebcf47a68fbf0 tuned; diff -r 6b2eb4e70ae3 -r 390d3bd0435d NEWS --- a/NEWS Sat Dec 15 21:24:14 2007 +0100 +++ b/NEWS Sat Dec 15 21:26:14 2007 +0100 @@ -57,7 +57,7 @@ Isabelle from flooding interactive front-ends (notably ProofGeneral / XEmacs). -* JVM class isabelle.IsabelleProcess (in Isabelle/lib/classes) +* 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.