src/FOL/ROOT
Mon, 11 Mar 2013 13:28:46 +0100 wenzelm support for 'chapter' specifications within session ROOT;
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 12:38:33 +0200 wenzelm clarified "document" again, eliminated redundant "no_document";
Tue, 24 Jul 2012 10:11:49 +0200 wenzelm clarified document options;
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