
diff -r cfb21e03fe2a -r d64a4ef26edb src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Thu Dec 05 17:52:12 2013 +0100
+++ b/src/Doc/JEdit/JEdit.thy	Thu Dec 05 17:58:03 2013 +0100
@@ -1068,12 +1068,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.
 




