changeset 66574 e16b27bd3f76
parent 66563 87b9eb69d5ba
child 66599 34b20f7236ea
--- 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