--- a/NEWS Sun Jan 08 19:08:26 2017 +0100
+++ b/NEWS Sun Jan 08 19:34:44 2017 +0100
@@ -13,6 +13,13 @@
entry of the specified logic session in the editor, while its parent is
used for formal checking.
+* The PIDE document model maintains file content independently of the
+status of jEdit editor buffers. Reloading jEdit buffers no longer causes
+changes of formal document content. Theory dependencies are always
+resolved internally, without the need for corresponding editor buffers.
+The system option "jedit_auto_load" has been discontinued: it is
+effectively always enabled.
+
*** HOL ***