src/FOL/ROOT
2017-04-04 wenzelm 2017-04-04 tuned syntax; some official documentation;
2015-12-26 wenzelm 2015-12-26 clarified sessions;
2014-04-30 wenzelm 2014-04-30 some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
2014-04-29 wenzelm 2014-04-29 systematic replacement of 'files' by 'document_files';
2013-06-30 wenzelm 2013-06-30 discontinued system option "proofs" -- global state of Proofterm.proofs is persistently compiled into HOL-Proofs image; discontinued unused proofterms for FOL;
2013-03-27 wenzelm 2013-03-27 allow build with skip_proofs enabled -- disable it for sessions that would fail due to embedded diagnostic commands, for example;
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-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 clarified "document" again, eliminated redundant "no_document";
2012-07-24 wenzelm 2012-07-24 clarified document options;
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;