| Wed, 01 Oct 2008 00:09:51 +0200 | kleing | extract Isabelle dist name correctly | file | diff | annotate |
| Mon, 14 Jan 2008 23:19:28 +0100 | isatest | make at-sml-dev experimental | file | diff | annotate |
| Mon, 05 Mar 2007 22:23:23 +0100 | kleing | adjust paths | file | diff | annotate |
| Mon, 05 Mar 2007 22:12:20 +0100 | kleing | moved all isatest/cron job related files to own directory | file | diff | annotate |