NEWS
changeset 68472 581a1bfec8ad
parent 68469 aad109fde9ec
child 68484 59793df7f853
     1.1 --- a/NEWS	Tue Jun 19 23:11:14 2018 +0100
     1.2 +++ b/NEWS	Wed Jun 20 11:51:47 2018 +0200
     1.3 @@ -71,13 +71,15 @@
     1.4  * The command-line tool "isabelle jedit" provides more flexible options
     1.5  for session management:
     1.6  
     1.7 -  - option -R builds an auxiliary logic image with all required theories
     1.8 -    from other sessions, relative to an ancestor session given by option
     1.9 -    -A (default: parent)
    1.10 +  - option -R builds an auxiliary logic image with all theories from
    1.11 +    other sessions that are not already present in its parent
    1.12  
    1.13    - option -S is like -R, with a focus on the selected session and its
    1.14      descendants (this reduces startup time for big projects like AFP)
    1.15  
    1.16 +  - option -A specifies an alternative ancestor session for options -R
    1.17 +    and -S
    1.18 +
    1.19    Examples:
    1.20      isabelle jedit -R HOL-Number_Theory
    1.21      isabelle jedit -R HOL-Number_Theory -A HOL