--- a/NEWS Fri Apr 21 18:51:24 2017 +0200
+++ b/NEWS Fri Apr 21 18:57:30 2017 +0200
@@ -56,9 +56,6 @@
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