| 2012-07-22 | wenzelm | parallel scheduling of jobs; | file | diff | annotate |
| 2012-07-18 | wenzelm | allow explicit specification of additional session directories; | file | diff | annotate |
| 2012-07-17 | wenzelm | basic setup for Isabelle build tool; | file | diff | annotate |