# HG changeset patch
# User wenzelm
# Date 1384963249 -3600
# Node ID 05738b7d8191d7d6e14c27185cbdd44e6a8050f8
# Parent  b2ce7a25cd8b04a61af764c2d8840189578e1af0
NEWS;

diff -r b2ce7a25cd8b -r 05738b7d8191 NEWS
--- 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.
diff -r b2ce7a25cd8b -r 05738b7d8191 src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Wed Nov 20 16:43:09 2013 +0100
+++ b/src/Doc/JEdit/JEdit.thy	Wed Nov 20 17:00:49 2013 +0100
@@ -1064,12 +1064,6 @@
 text {*
   \begin{itemize}
 
-  \item \textbf{Problem:} Lack of dependency management for auxiliary files
-  that contribute to a theory (e.g.\ @{command ML_file}).
-
-  \textbf{Workaround:} Re-load files manually within the prover, by
-  editing corresponding command in the text.
-
   \item \textbf{Problem:} Odd behavior of some diagnostic commands with
   global side-effects, like writing a physical file.