NEWS
changeset 68371 bcdc47c9d4af
parent 68369 b00b40dc41af
child 68373 f254e383bfe9
     1.1 --- a/NEWS	Sun Jun 03 23:30:53 2018 +0200
     1.2 +++ b/NEWS	Mon Jun 04 14:21:16 2018 +0200
     1.3 @@ -89,16 +89,16 @@
     1.4  E.g. "Prob" may be completed to "HOL-Probability.Probability".
     1.5  
     1.6  * The command-line tool "isabelle jedit" provides more flexible options
     1.7 -for session selection:
     1.8 -  - options -P opens the parent session image of -l
     1.9 -  - options -A and -B modify the meaning of -l to produce a base
    1.10 -    image on the spot, based on the specified ancestor (or parent)
    1.11 -  - option -F focuses on the specified logic session
    1.12 -  - option -R has changed: it only opens the session ROOT entry
    1.13 -  - option -S sets up the development environment to edit the
    1.14 -    specified session: it abbreviates -B -F -R -l
    1.15 +for session management:
    1.16 +  - option -R builds an auxiliary logic image with all required theories
    1.17 +    from other sessions, relative to an ancestor session given by option
    1.18 +    -A (default: parent)
    1.19 +  - option -S is like -R, with a focus on the selected session and its
    1.20 +    descendants (this reduces startup time for big projects like AFP)
    1.21  
    1.22    Examples:
    1.23 +    isabelle jedit -R HOL-Number_Theory
    1.24 +    isabelle jedit -R HOL-Number_Theory -A HOL
    1.25      isabelle jedit -d '$AFP' -S Formal_SSA -A HOL
    1.26      isabelle jedit -d '$AFP' -S Formal_SSA -A HOL-Analysis
    1.27