| Tue, 12 Mar 2013 21:59:48 +0100 |
wenzelm |
refurbished some old README.html files as session descriptions, which show up in chapter index;
|
file |
diff |
annotate
|
| Mon, 11 Mar 2013 13:28:46 +0100 |
wenzelm |
support for 'chapter' specifications within session ROOT;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Wed, 08 Aug 2012 17:49:56 +0200 |
wenzelm |
simplified session specifications: names are taken verbatim and current directory is default;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 21:36:53 +0200 |
wenzelm |
tuned order;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 20:42:34 +0200 |
wenzelm |
more explicit document = false to reduce warnings;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Thu, 19 Jul 2012 14:24:40 +0200 |
wenzelm |
support Session.Queue with ordering and dependencies;
|
file |
diff |
annotate
|
| Wed, 18 Jul 2012 16:24:16 +0200 |
wenzelm |
more tight treatment of reset_name;
|
file |
diff |
annotate
|
| Tue, 17 Jul 2012 22:34:29 +0200 |
wenzelm |
basic support for session ROOT files, with examples for FOL and ZF;
|
file |
diff |
annotate
|