NEWS
changeset 66973 829c3133c4ca
parent 66954 0230af0f3c59
child 66987 352b23c97ac8
     1.1 --- a/NEWS	Wed Nov 01 13:06:01 2017 +0100
     1.2 +++ b/NEWS	Wed Nov 01 15:32:07 2017 +0100
     1.3 @@ -34,6 +34,10 @@
     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 +
    1.11  
    1.12  *** HOL ***
    1.13