--- 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.