| Sun, 29 Jul 2012 21:40:46 +0200 | wenzelm | added build option -f; | changeset | files |
| Sat, 28 Jul 2012 22:01:21 +0200 | haftmann | corrected slip | changeset | files |
| Sat, 28 Jul 2012 21:10:54 +0200 | wenzelm | discontinued $ISABELLE_HOME/build (cf. 500c6eb6c6dc); | changeset | files |
| Sat, 28 Jul 2012 20:36:25 +0200 | wenzelm | separate session HOL-Mirabelle-ex -- cannot run isolated shell scripts within build tool; | changeset | files |
| Sat, 28 Jul 2012 20:27:39 +0200 | wenzelm | added Quickcheck_Benchmark (cf. 1959baa22632); | changeset | files |
| Sat, 28 Jul 2012 20:20:35 +0200 | wenzelm | no apparent need for single-threaded execution; | changeset | files |
| Sat, 28 Jul 2012 20:18:15 +0200 | wenzelm | discontinued obsolete Isabelle/build script; | changeset | files |