| 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 |
| Mon, 13 May 2013 20:35:04 +0200 | wenzelm | recovered informative progress from 016cb7d8f297; | file | diff | annotate |
| Mon, 13 May 2013 19:52:16 +0200 | wenzelm | limit build process output, to avoid bombing Isabelle/Scala process by ill-behaved jobs (e.g. Containers in AFP/9025435b29cf); | file | diff | annotate |
| Mon, 29 Apr 2013 17:01:13 +0200 | wenzelm | cygwin_root as optional argument; | file | diff | annotate |