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