| 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 |
| Wed, 08 Jun 2011 22:06:05 +0200 | wenzelm | simplified directory structure; | file | diff | annotate | base |