| 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); | changeset | files |
| Fri, 17 May 2013 21:06:01 +0200 | wenzelm | added isabelle tty option -o; | changeset | files |
| Fri, 17 May 2013 21:02:08 +0200 | wenzelm | oops; | changeset | files |
| Fri, 17 May 2013 20:53:28 +0200 | wenzelm | renamed 'print_configs' to 'print_options'; | changeset | files |
| Fri, 17 May 2013 20:41:45 +0200 | wenzelm | proper option quick_and_dirty; | changeset | files |
| Fri, 17 May 2013 20:30:04 +0200 | wenzelm | retain quick_and_dirty as-is -- no censorship; | changeset | files |
| Fri, 17 May 2013 19:11:03 +0200 | wenzelm | more system-atic options; | changeset | files |