# HG changeset patch
# User wenzelm
# Date 1460042782 -7200
# Node ID 94535e6dd16841ceb68f9136d0b2ab8ce110bcfc
# Parent  adcce7b8d8ba5aebe19539b4d97ed573a063e3e3
NEWS;

diff -r adcce7b8d8ba -r 94535e6dd168 NEWS
--- a/NEWS	Thu Apr 07 17:20:21 2016 +0200
+++ b/NEWS	Thu Apr 07 17:26:22 2016 +0200
@@ -21,6 +21,15 @@
 Isabelle2015).
 
 
+*** Prover IDE -- Isabelle/Scala/jEdit ***
+
+* IDE support for the Isabelle/Pure bootstrap process. The file
+src/Pure/ROOT.ML may be opened with Isabelle/jEdit: it acts like a
+theory body in the context of theory ML_Bootstrap. This allows
+continuous checking of ML files as usual, but the result is isolated
+from the actual Isabelle/Pure that runs the IDE itself.
+
+
 *** Isar ***
 
 * Command '\<proof>' is an alias for 'sorry', with different