equal
deleted
inserted
replaced
1066 chapter {* Known problems and workarounds \label{sec:problems} *} |
1066 chapter {* Known problems and workarounds \label{sec:problems} *} |
1067 |
1067 |
1068 text {* |
1068 text {* |
1069 \begin{itemize} |
1069 \begin{itemize} |
1070 |
1070 |
1071 \item \textbf{Problem:} Lack of dependency management for auxiliary files |
|
1072 that contribute to a theory (e.g.\ @{command ML_file}). |
|
1073 |
|
1074 \textbf{Workaround:} Re-load files manually within the prover, by |
|
1075 editing corresponding command in the text. |
|
1076 |
|
1077 \item \textbf{Problem:} Odd behavior of some diagnostic commands with |
1071 \item \textbf{Problem:} Odd behavior of some diagnostic commands with |
1078 global side-effects, like writing a physical file. |
1072 global side-effects, like writing a physical file. |
1079 |
1073 |
1080 \textbf{Workaround:} Copy / paste complete command text from |
1074 \textbf{Workaround:} Copy / paste complete command text from |
1081 elsewhere, or discontinue continuous checking temporarily. |
1075 elsewhere, or discontinue continuous checking temporarily. |