NEWS
changeset 65572 6acb28e5ba41
parent 65567 c556c09765dd
child 65575 f8681c62959d
     1.1 --- a/NEWS	Mon Apr 24 11:05:24 2017 +0200
     1.2 +++ b/NEWS	Mon Apr 24 11:23:07 2017 +0200
     1.3 @@ -52,9 +52,10 @@
     1.4  
     1.5  *** Prover IDE -- Isabelle/Scala/jEdit ***
     1.6  
     1.7 -* Command-line invocation "isabelle jedit -R -l LOGIC" opens the ROOT
     1.8 -entry of the specified logic session in the editor, while its parent is
     1.9 -used for formal checking.
    1.10 +* Command-line invocation "isabelle jedit -R -l SESSION" uses the parent
    1.11 +image of the SESSION, with qualified theory imports restricted to that
    1.12 +portion of the session graph. Moreover, the ROOT entry of the SESSION is
    1.13 +opened in the editor.
    1.14  
    1.15  * The PIDE document model maintains file content independently of the
    1.16  status of jEdit editor buffers. Reloading jEdit buffers no longer causes