* Rudimentary Isabelle plugin for jEdit;

--- a/NEWS	Sun Jan 06 17:11:11 2008 +0100
+++ b/NEWS	Sun Jan 06 18:04:09 2008 +0100
@@ -93,6 +93,9 @@
 provides general wrapper for managing an Isabelle process in a robust
 fashion, with ``cooked'' output from stdin/stderr.
 
+* Rudimentary Isabelle plugin for jEdit (see Isabelle/lib/jedit),
+based on Isabelle/JVM process wrapper (see Isabelle/lib/classes).
+
 
 
 New in Isabelle2007 (November 2007)