| Sun, 22 Jul 2012 23:31:57 +0200 | wenzelm | parallel scheduling of jobs; | file | diff | annotate |
| Wed, 18 Jul 2012 19:47:10 +0200 | wenzelm | allow explicit specification of additional session directories; | file | diff | annotate |
| Tue, 17 Jul 2012 15:56:19 +0200 | wenzelm | basic setup for Isabelle build tool; | file | diff | annotate |