NEWS
changeset 65511 ea42dfd95ec8
parent 65510 da387a5d4b09
child 65515 f595b7532dc9
child 65541 ae09b9f5980b
     1.1 --- a/NEWS	Wed Apr 19 16:22:20 2017 +0200
     1.2 +++ b/NEWS	Wed Apr 19 16:24:59 2017 +0200
     1.3 @@ -56,6 +56,9 @@
     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 +* Improved support for editing of a complex session hierarchy with
     1.8 +session-qualified theory imports: "isabelle jedit -A".
     1.9 +
    1.10  * The PIDE document model maintains file content independently of the
    1.11  status of jEdit editor buffers. Reloading jEdit buffers no longer causes
    1.12  changes of formal document content. Theory dependencies are always