NEWS
changeset 66574 e16b27bd3f76
parent 66563 87b9eb69d5ba
child 66599 34b20f7236ea
     1.1 --- a/NEWS	Thu Aug 31 17:21:38 2017 +0200
     1.2 +++ b/NEWS	Thu Aug 31 17:31:56 2017 +0200
     1.3 @@ -100,10 +100,9 @@
     1.4  * Action "isabelle.preview" opens an HTML preview of the current theory
     1.5  document in the default web browser.
     1.6  
     1.7 -* Command-line invocation "isabelle jedit -R -l SESSION" uses the parent
     1.8 -image of the SESSION, with qualified theory imports restricted to that
     1.9 -portion of the session graph. Moreover, the ROOT entry of the SESSION is
    1.10 -opened in the editor.
    1.11 +* Command-line invocation "isabelle jedit -R -l LOGIC" opens the ROOT
    1.12 +entry of the specified logic session in the editor, while its parent is
    1.13 +used for formal checking.
    1.14  
    1.15  * The main Isabelle/jEdit plugin may be restarted manually (using the
    1.16  jEdit Plugin Manager), as long as the "Isabelle Base" plugin remains