NEWS
changeset 66987 352b23c97ac8
parent 66973 829c3133c4ca
child 66988 7f8c1dd7576a
     1.1 --- a/NEWS	Wed Nov 01 22:13:38 2017 +0100
     1.2 +++ b/NEWS	Thu Nov 02 10:16:22 2017 +0100
     1.3 @@ -34,9 +34,13 @@
     1.4  
     1.5  * Completion supports theory header imports.
     1.6  
     1.7 -* The "isabelle jedit" command-line options -B or -P modify the meaning
     1.8 -of -l to produce an image on the spot or use the session parent image.
     1.9 -Option -R now only opens the session ROOT entry.
    1.10 +* The command-line tool "isabelle jedit" provides more flexible options:
    1.11 +  - options -B or -P modify the meaning of -l to produce an image on the
    1.12 +    spot or use the session parent image
    1.13 +  - option -F focuses on the specified logic session
    1.14 +  - option -R has changed: it only opens the session ROOT entry
    1.15 +  - option -S sets up the development environment to edit the
    1.16 +    specified session: it abbreviates -B -F -R -l
    1.17  
    1.18  
    1.19  *** HOL ***