| Mon, 30 Jul 2012 16:40:21 +0200 | wenzelm | updated isatest to isabelle build, which also includes doc-src sessions; | file | diff | annotate |
| Wed, 27 Jun 2012 17:33:49 +0200 | wenzelm | moved crontab to lxbroy2, one of the newer server machines; | file | diff | annotate | base |