| 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 |