| changeset 66973 | 829c3133c4ca |
| parent 66954 | 0230af0f3c59 |
| child 66987 | 352b23c97ac8 |
--- a/NEWS Wed Nov 01 13:06:01 2017 +0100 +++ b/NEWS Wed Nov 01 15:32:07 2017 +0100 @@ -34,6 +34,10 @@ * Completion supports theory header imports. +* The "isabelle jedit" command-line options -B or -P modify the meaning +of -l to produce an image on the spot or use the session parent image. +Option -R now only opens the session ROOT entry. + *** HOL ***