tuned;
authorwenzelm
Tue Apr 12 18:49:39 2016 +0200 (15 months ago)
changeset 629621c1f8531ca37
parent 62961 8b85a554c5c4
child 62963 2d5eff9c3baa
child 62964 d0c1b2dbca5b
tuned;
NEWS
     1.1 --- a/NEWS	Tue Apr 12 15:01:06 2016 +0200
     1.2 +++ b/NEWS	Tue Apr 12 18:49:39 2016 +0200
     1.3 @@ -31,7 +31,7 @@
     1.4  *** Prover IDE -- Isabelle/Scala/jEdit ***
     1.5  
     1.6  * IDE support for the Isabelle/Pure bootstrap process. The initial files
     1.7 -src/Pure/ROOT0.ML src/Pure/ROOT.ML may be opened with Isabelle/jEdit:
     1.8 +src/Pure/ROOT0.ML or src/Pure/ROOT.ML may be opened with Isabelle/jEdit:
     1.9  they act like independent quasi-theories in the context of theory
    1.10  ML_Bootstrap. This allows continuous checking of ML files as usual, but
    1.11  results are isolated from the actual Isabelle/Pure that runs the IDE