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