--- a/NEWS Wed Apr 19 16:22:20 2017 +0200
+++ b/NEWS Wed Apr 19 16:24:59 2017 +0200
@@ -56,6 +56,9 @@
entry of the specified logic session in the editor, while its parent is
used for formal checking.
+* Improved support for editing of a complex session hierarchy with
+session-qualified theory imports: "isabelle jedit -A".
+
* 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