src/ZF/ROOT
Sat, 27 Aug 2022 17:53:00 +0200 wenzelm ZF belongs to chapter FOL, following lib/html/library_index_content.template (i.e. "Documentation" area on website);
Sun, 15 Sep 2019 15:47:47 +0200 wenzelm dump ZF in parallel to HOL Main;
Fri, 06 Sep 2019 10:28:29 +0200 wenzelm more central checkpoint;
Thu, 29 Aug 2019 17:13:49 +0200 wenzelm more scalable isabelle dump (and derivatives): mark individual theories to share common data in ML;
Tue, 20 Nov 2018 13:46:13 +0100 wenzelm tuned -- refining auto-update 15e9ed5b28fb;
Thu, 08 Nov 2018 22:29:09 +0100 wenzelm isabelle update_cartouches -t;
Mon, 30 Oct 2017 20:04:10 +0100 wenzelm ROOT cleanup: empty 'document_files' means there is no document;
Sat, 07 Oct 2017 15:21:25 +0200 wenzelm discontinued somewhat pointless session group: -g ZF may be replaced by -D ~~/src/ZF;
Mon, 02 Oct 2017 15:51:52 +0200 wenzelm proper document;
Thu, 17 Aug 2017 14:28:01 +0200 wenzelm clarified imports;
Sun, 23 Apr 2017 23:49:14 +0200 wenzelm clarified parent session images, to avoid duplicate loading of theories;
Thu, 20 Apr 2017 17:50:31 +0200 wenzelm more global theories;
Sun, 09 Apr 2017 20:44:35 +0200 wenzelm clarified main ZF.thy / ZFC.thy, and avoid name clash with global HOL/Main.thy;
Fri, 16 Sep 2016 15:54:50 +0200 wenzelm sessions that are relevant for routine timing measurements;
Fri, 17 Apr 2015 11:31:33 +0200 wenzelm more session groups;
Sun, 25 Jan 2015 22:11:06 +0100 wenzelm discontinued obsolete option "document_graph";
Tue, 07 Oct 2014 23:29:43 +0200 wenzelm more bibtex entries;
Tue, 29 Apr 2014 13:29:05 +0200 wenzelm systematic replacement of 'files' by 'document_files';
Tue, 12 Mar 2013 21:59:48 +0100 wenzelm refurbished some old README.html files as session descriptions, which show up in chapter index;
Mon, 11 Mar 2013 13:28:46 +0100 wenzelm support for 'chapter' specifications within session ROOT;
Mon, 17 Dec 2012 11:07:20 +0100 wenzelm offer sessions of group "main" first to increase chances that the user makes a sensible choice;
Wed, 08 Aug 2012 17:49:56 +0200 wenzelm simplified session specifications: names are taken verbatim and current directory is default;
Tue, 24 Jul 2012 21:36:53 +0200 wenzelm tuned order;
Tue, 24 Jul 2012 20:42:34 +0200 wenzelm more explicit document = false to reduce warnings;
Tue, 24 Jul 2012 10:58:43 +0200 wenzelm clarified "this_name" vs. former "reset" feature -- imitate the latter by loading other session sources directly;
Thu, 19 Jul 2012 14:24:40 +0200 wenzelm support Session.Queue with ordering and dependencies;
Wed, 18 Jul 2012 16:24:16 +0200 wenzelm more tight treatment of reset_name;
Tue, 17 Jul 2012 22:34:29 +0200 wenzelm basic support for session ROOT files, with examples for FOL and ZF;
less more (0) tip