NEWS
changeset 65544 c09c11386ca5
parent 65515 f595b7532dc9
parent 65541 ae09b9f5980b
child 65552 f533820e7248
     1.1 --- a/NEWS	Thu Apr 20 16:21:29 2017 +0200
     1.2 +++ b/NEWS	Fri Apr 21 20:36:20 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