--- 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