--- a/NEWS Sat Apr 09 19:09:11 2016 +0200
+++ b/NEWS Sat Apr 09 19:30:15 2016 +0200
@@ -23,11 +23,12 @@
*** 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.
+* IDE support for the Isabelle/Pure bootstrap process. The initial files
+src/Pure/ROOT0.ML src/Pure/ROOT.ML may be opened with Isabelle/jEdit:
+they act like independent quasi-theories in the context of theory
+ML_Bootstrap. This allows continuous checking of ML files as usual, but
+results are isolated from the actual Isabelle/Pure that runs the IDE
+itself.
*** Isar ***