doc-src/System/Thy/Sessions.thy
2012-08-14 wenzelm 2012-08-14 explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
2012-08-08 wenzelm 2012-08-08 refined isabelle mkroot; allow empty 'theories' to facilitate generated templates;
2012-08-08 wenzelm 2012-08-08 simplified session specifications: names are taken verbatim and current directory is default;
2012-08-08 wenzelm 2012-08-08 added build option -D: include session directory and select its sessions;
2012-08-06 wenzelm 2012-08-06 "isabelle options" prints Isabelle system options;
2012-08-05 wenzelm 2012-08-05 re-introduced ROOTS catalog files (cf. 47330b712f8f) which help to organize AFP or make -d options persistent;
2012-08-05 wenzelm 2012-08-05 more on isabelle mkroot;
2012-08-02 wenzelm 2012-08-02 discontinued unused etc/sessions catalog;
2012-07-30 wenzelm 2012-07-30 allow negative int values as well, according to real = int | float;
2012-07-30 wenzelm 2012-07-30 misc tuning;
2012-07-30 wenzelm 2012-07-30 more uniform usage of "isabelle tool";
2012-07-30 wenzelm 2012-07-30 added build option -c; tuned;
2012-07-30 wenzelm 2012-07-30 removed build option -f (cf. a125b8040ada), due to slightly inconvenient behaviour on ancestors;
2012-07-29 wenzelm 2012-07-29 added build option -f;
2012-07-28 haftmann 2012-07-28 corrected slip
2012-07-28 wenzelm 2012-07-28 some introduction on sessions;
2012-07-28 wenzelm 2012-07-28 tuned;
2012-07-28 wenzelm 2012-07-28 some description of main build options;
2012-07-28 wenzelm 2012-07-28 more on "Session ROOT specifications";
2012-07-28 wenzelm 2012-07-28 some description of isabelle build;