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