NEWS
changeset 64842 9c69b495c05d
parent 64787 067cacdd1117
child 64844 bb70dc05cd38
     1.1 --- a/NEWS	Sun Jan 08 19:08:26 2017 +0100
     1.2 +++ b/NEWS	Sun Jan 08 19:34:44 2017 +0100
     1.3 @@ -13,6 +13,13 @@
     1.4  entry of the specified logic session in the editor, while its parent is
     1.5  used for formal checking.
     1.6  
     1.7 +* The PIDE document model maintains file content independently of the
     1.8 +status of jEdit editor buffers. Reloading jEdit buffers no longer causes
     1.9 +changes of formal document content. Theory dependencies are always
    1.10 +resolved internally, without the need for corresponding editor buffers.
    1.11 +The system option "jedit_auto_load" has been discontinued: it is
    1.12 +effectively always enabled.
    1.13 +
    1.14  
    1.15  *** HOL ***
    1.16