NEWS
changeset 66988 7f8c1dd7576a
parent 66987 352b23c97ac8
child 66990 b23adab22e67
     1.1 --- a/NEWS	Thu Nov 02 10:16:22 2017 +0100
     1.2 +++ b/NEWS	Thu Nov 02 11:25:37 2017 +0100
     1.3 @@ -34,14 +34,18 @@
     1.4  
     1.5  * Completion supports theory header imports.
     1.6  
     1.7 -* The command-line tool "isabelle jedit" provides more flexible options:
     1.8 -  - options -B or -P modify the meaning of -l to produce an image on the
     1.9 -    spot or use the session parent image
    1.10 +* The command-line tool "isabelle jedit" provides more flexible options
    1.11 +for session selection:
    1.12 +  - options -P opens the parent session image of -l
    1.13 +  - options -A and -B modify the meaning of -l to produce a base
    1.14 +    image on the spot, based on the specified ancestor (or parent)
    1.15    - option -F focuses on the specified logic session
    1.16    - option -R has changed: it only opens the session ROOT entry
    1.17    - option -S sets up the development environment to edit the
    1.18      specified session: it abbreviates -B -F -R -l
    1.19  
    1.20 +  Example: isabelle jedit -A HOL -S Formal_SSA -d '$AFP'
    1.21 +
    1.22  
    1.23  *** HOL ***
    1.24