# HG changeset patch
# User wenzelm
# Date 1392642446 -3600
# Node ID 56ebc4d4d0089ab6a9fede8f3d454e1339af5b21
# Parent  10194808430d100bd945dea4b4296dd53f19c935
NEWS;

diff -r 10194808430d -r 56ebc4d4d008 NEWS
--- a/NEWS	Mon Feb 17 13:31:42 2014 +0100
+++ b/NEWS	Mon Feb 17 14:07:26 2014 +0100
@@ -29,6 +29,9 @@
 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.
 Open text buffers take precedence over copies within the file-system.
 
+* Improved support for Isabelle/ML, with jEdit mode "isabelle-ml" for
+auxiliary ML files.
+
 * Document panel: simplied interaction where every single mouse click
 (re)opens document via desktop environment or as jEdit buffer.