| changeset 25652 | 390d3bd0435d |
| parent 25651 | 6b2eb4e70ae3 |
| child 25664 | 156660ab8a39 |
--- 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.