NEWS;
authorwenzelm
Wed Nov 20 17:00:49 2013 +0100 (2013-11-20)
changeset 5453305738b7d8191
parent 54532 b2ce7a25cd8b
child 54534 3cad06ff414b
NEWS;
NEWS
src/Doc/JEdit/JEdit.thy
     1.1 --- a/NEWS	Wed Nov 20 16:43:09 2013 +0100
     1.2 +++ b/NEWS	Wed Nov 20 17:00:49 2013 +0100
     1.3 @@ -4,6 +4,12 @@
     1.4  New in this Isabelle version
     1.5  ----------------------------
     1.6  
     1.7 +*** Prover IDE -- Isabelle/Scala/jEdit ***
     1.8 +
     1.9 +* Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.
    1.10 +Open text buffers take precedence over copies within the file-system.
    1.11 +
    1.12 +
    1.13  *** HOL ***
    1.14  
    1.15  * Qualified constant names Wellfounded.acc, Wellfounded.accp.
     2.1 --- a/src/Doc/JEdit/JEdit.thy	Wed Nov 20 16:43:09 2013 +0100
     2.2 +++ b/src/Doc/JEdit/JEdit.thy	Wed Nov 20 17:00:49 2013 +0100
     2.3 @@ -1064,12 +1064,6 @@
     2.4  text {*
     2.5    \begin{itemize}
     2.6  
     2.7 -  \item \textbf{Problem:} Lack of dependency management for auxiliary files
     2.8 -  that contribute to a theory (e.g.\ @{command ML_file}).
     2.9 -
    2.10 -  \textbf{Workaround:} Re-load files manually within the prover, by
    2.11 -  editing corresponding command in the text.
    2.12 -
    2.13    \item \textbf{Problem:} Odd behavior of some diagnostic commands with
    2.14    global side-effects, like writing a physical file.
    2.15