NEWS
changeset 65541 ae09b9f5980b
parent 65511 ea42dfd95ec8
child 65544 c09c11386ca5
     1.1 --- a/NEWS	Fri Apr 21 18:51:24 2017 +0200
     1.2 +++ b/NEWS	Fri Apr 21 18:57:30 2017 +0200
     1.3 @@ -56,9 +56,6 @@
     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