NEWS
changeset 66764 006deaf5c3dc
parent 66759 918f15c9367a
child 66768 f27488f47a47
     1.1 --- a/NEWS	Tue Oct 03 20:32:58 2017 +0200
     1.2 +++ b/NEWS	Wed Oct 04 20:16:53 2017 +0200
     1.3 @@ -22,6 +22,13 @@
     1.4  INCOMPATIBILITY, use command 'external_file' within a proper theory
     1.5  context.
     1.6  
     1.7 +* Session root directories may be specified multiple times: each
     1.8 +accessible ROOT file is processed only once. This facilitates
     1.9 +specification of $ISABELLE_HOME_USER/ROOTS or command-line options like
    1.10 +-d or -D for "isabelle build" and "isabelle jedit". Example:
    1.11 +
    1.12 +  isabelle build -D '~~/src/ZF'
    1.13 +
    1.14  
    1.15  *** HOL ***
    1.16