src/FOLP/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 20:42:34 +0200 wenzelm more explicit document = false to reduce warnings;
Tue, 24 Jul 2012 14:07:44 +0200 wenzelm more session ROOT files;
less more (0) tip