| Mon, 15 Jul 2013 22:11:36 +0200 | wenzelm | Scala version of init.bat; | file | diff | annotate |
| Wed, 22 May 2013 16:01:08 +0200 | wenzelm | more robust command line -- accomodate /bin/kill on recent Linux (e.g. Xubuntu 13.04): | file | diff | annotate |
| Fri, 17 May 2013 21:15:33 +0200 | wenzelm | timeout counts as regular error, with rc = 1 (cf. special Exn.Interrupt vs. regular TimeLimit.TimeOut in Isabelle/ML); | file | diff | annotate |