# HG changeset patch
# User wenzelm
# Date 1460479779 -7200
# Node ID 1c1f8531ca372e8efd14d6b188004bbe35e6e48d
# Parent  8b85a554c5c4aee713947c8e9b52398761d1c443
tuned;

diff -r 8b85a554c5c4 -r 1c1f8531ca37 NEWS
--- 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