--- a/NEWS Tue Apr 12 15:01:06 2016 +0200
+++ b/NEWS Tue Apr 12 18:49:39 2016 +0200
@@ -31,7 +31,7 @@
*** Prover IDE -- Isabelle/Scala/jEdit ***
* 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:
+src/Pure/ROOT0.ML or 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