--- a/NEWS Thu Aug 31 17:21:38 2017 +0200
+++ b/NEWS Thu Aug 31 17:31:56 2017 +0200
@@ -100,10 +100,9 @@
* Action "isabelle.preview" opens an HTML preview of the current theory
document in the default web browser.
-* Command-line invocation "isabelle jedit -R -l SESSION" uses the parent
-image of the SESSION, with qualified theory imports restricted to that
-portion of the session graph. Moreover, the ROOT entry of the SESSION is
-opened in the editor.
+* Command-line invocation "isabelle jedit -R -l LOGIC" opens the ROOT
+entry of the specified logic session in the editor, while its parent is
+used for formal checking.
* The main Isabelle/jEdit plugin may be restarted manually (using the
jEdit Plugin Manager), as long as the "Isabelle Base" plugin remains