| Tue, 24 Jul 2012 21:36:53 +0200 | wenzelm | tuned order; | file | diff | annotate |
| Tue, 24 Jul 2012 12:38:33 +0200 | wenzelm | clarified "document" again, eliminated redundant "no_document"; | file | diff | annotate |
| Tue, 24 Jul 2012 10:11:49 +0200 | wenzelm | clarified document options; | 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 |