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