NEWS
changeset 54533 05738b7d8191
parent 54502 e7c9a14632d0
child 54587 19cd731eb745
     1.1 --- a/NEWS	Wed Nov 20 16:43:09 2013 +0100
     1.2 +++ b/NEWS	Wed Nov 20 17:00:49 2013 +0100
     1.3 @@ -4,6 +4,12 @@
     1.4  New in this Isabelle version
     1.5  ----------------------------
     1.6  
     1.7 +*** Prover IDE -- Isabelle/Scala/jEdit ***
     1.8 +
     1.9 +* Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.
    1.10 +Open text buffers take precedence over copies within the file-system.
    1.11 +
    1.12 +
    1.13  *** HOL ***
    1.14  
    1.15  * Qualified constant names Wellfounded.acc, Wellfounded.accp.