| 2012-08-08 | wenzelm | simplified session specifications: names are taken verbatim and current directory is default; | file | diff | annotate |
| 2012-07-24 | wenzelm | more explicit document = false to reduce warnings; | file | diff | annotate |
| 2012-07-24 | wenzelm | more session ROOT files; | file | diff | annotate |