Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Sat, 15 Dec 2007 21:26:14 +0100
changeset 25652 390d3bd0435d
parent 25651 6b2eb4e70ae3
child 25653 b6cdff094881
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- 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.
isabelle