# HG changeset patch
# User wenzelm
# Date 1191758225 -7200
# Node ID df3581710b9bab972f0c2803f5f4b673c025eb8b
# Parent  5ce94680922e0ffbcad78d9be4a7facc26bc9769
* Basic Isabelle mode for jEdit.

diff -r 5ce94680922e -r df3581710b9b NEWS
--- a/NEWS	Sun Oct 07 13:52:16 2007 +0200
+++ b/NEWS	Sun Oct 07 13:57:05 2007 +0200
@@ -1374,6 +1374,8 @@
 operations, notably runtime compilation and evaluation of ML source
 code.
 
+* Basic Isabelle mode for jEdit, see Isabelle/lib/jedit/.
+
 * Support for parallel execution, using native multicore support of
 Poly/ML 5.1.  The theory loader exploits parallelism when processing
 independent theories, according to the given theory header