--- a/NEWS Thu Apr 20 16:21:29 2017 +0200
+++ b/NEWS Fri Apr 21 20:36:20 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