| Thu, 22 May 2014 15:31:36 +0200 | wenzelm | another attempt to revive isatest -- reverting 801c01004a21; | file | diff | annotate |
| Tue, 20 May 2014 14:56:35 +0200 | wenzelm | adhoc move to lxbroy10, which has 120 GB more memory than lxbroy2; | file | diff | annotate |
| 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 |