src/ZF/ROOT
21 months ago wenzelm 2017-10-30 ROOT cleanup: empty 'document_files' means there is no document;
22 months ago wenzelm 2017-10-07 discontinued somewhat pointless session group: -g ZF may be replaced by -D ~~/src/ZF;
22 months ago wenzelm 2017-10-02 proper document;
2017-08-17 wenzelm 2017-08-17 clarified imports;
2017-04-23 wenzelm 2017-04-23 clarified parent session images, to avoid duplicate loading of theories;
2017-04-20 wenzelm 2017-04-20 more global theories;
2017-04-09 wenzelm 2017-04-09 clarified main ZF.thy / ZFC.thy, and avoid name clash with global HOL/Main.thy;
2016-09-16 wenzelm 2016-09-16 sessions that are relevant for routine timing measurements;
2015-04-17 wenzelm 2015-04-17 more session groups;
2015-01-25 wenzelm 2015-01-25 discontinued obsolete option "document_graph";
2014-10-07 wenzelm 2014-10-07 more bibtex entries; more antiquotations;
2014-04-29 wenzelm 2014-04-29 systematic replacement of 'files' by 'document_files';
2013-03-12 wenzelm 2013-03-12 refurbished some old README.html files as session descriptions, which show up in chapter index;
2013-03-11 wenzelm 2013-03-11 support for 'chapter' specifications within session ROOT;
2012-12-17 wenzelm 2012-12-17 offer sessions of group "main" first to increase chances that the user makes a sensible choice;
2012-08-08 wenzelm 2012-08-08 simplified session specifications: names are taken verbatim and current directory is default;
2012-07-24 wenzelm 2012-07-24 tuned order;
2012-07-24 wenzelm 2012-07-24 more explicit document = false to reduce warnings; tuned;
2012-07-24 wenzelm 2012-07-24 clarified "this_name" vs. former "reset" feature -- imitate the latter by loading other session sources directly;
2012-07-19 wenzelm 2012-07-19 support Session.Queue with ordering and dependencies;
2012-07-18 wenzelm 2012-07-18 more tight treatment of reset_name;
2012-07-17 wenzelm 2012-07-17 basic support for session ROOT files, with examples for FOL and ZF;