*** General *** * 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' This refers to Isabelle/006deaf5c3dc. The key point is that ROOT files are only accounted once (according to canonical_file), thus the directory specifications may be quite liberal. The above example also shows that selection via directories becomes more useful in general, and we can probably discontunue some existing session group tags, e.g. "ZF" or even "AFP". Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev