NEWS
changeset 24891 df3581710b9b
parent 24867 e5b55d7be9bb
child 24920 2a45e400fdad
--- 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