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;