# HG changeset patch
# User wenzelm
# Date 1199639049 -3600
# Node ID 3aa0d86b4398e47fd288cfb8e48219ef975ee10f
# Parent  ab6ce0d5662d0d09f67218763400386900a1b4d1
* Rudimentary Isabelle plugin for jEdit;

diff -r ab6ce0d5662d -r 3aa0d86b4398 NEWS
--- 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)