| Fri, 16 Sep 2016 15:54:50 +0200 |
wenzelm |
sessions that are relevant for routine timing measurements;
|
file |
diff |
annotate
|
| Fri, 17 Apr 2015 11:31:33 +0200 |
wenzelm |
more session groups;
|
file |
diff |
annotate
|
| Sun, 25 Jan 2015 22:11:06 +0100 |
wenzelm |
discontinued obsolete option "document_graph";
|
file |
diff |
annotate
|
| Tue, 07 Oct 2014 23:29:43 +0200 |
wenzelm |
more bibtex entries;
|
file |
diff |
annotate
|
| Tue, 29 Apr 2014 13:29:05 +0200 |
wenzelm |
systematic replacement of 'files' by 'document_files';
|
file |
diff |
annotate
|
| 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
|