NEWS;
authorwenzelm
Thu Apr 07 17:26:22 2016 +0200 (2016-04-07)
changeset 6290494535e6dd168
parent 62903 adcce7b8d8ba
child 62905 52c5a25e0c96
NEWS;
NEWS
     1.1 --- a/NEWS	Thu Apr 07 17:20:21 2016 +0200
     1.2 +++ b/NEWS	Thu Apr 07 17:26:22 2016 +0200
     1.3 @@ -21,6 +21,15 @@
     1.4  Isabelle2015).
     1.5  
     1.6  
     1.7 +*** Prover IDE -- Isabelle/Scala/jEdit ***
     1.8 +
     1.9 +* IDE support for the Isabelle/Pure bootstrap process. The file
    1.10 +src/Pure/ROOT.ML may be opened with Isabelle/jEdit: it acts like a
    1.11 +theory body in the context of theory ML_Bootstrap. This allows
    1.12 +continuous checking of ML files as usual, but the result is isolated
    1.13 +from the actual Isabelle/Pure that runs the IDE itself.
    1.14 +
    1.15 +
    1.16  *** Isar ***
    1.17  
    1.18  * Command '\<proof>' is an alias for 'sorry', with different