| Tue, 14 May 2013 12:31:11 +0200 | wenzelm | more antiquotations; | changeset | files |
| Tue, 14 May 2013 12:22:18 +0200 | wenzelm | tuned messages; | changeset | files |
| Tue, 14 May 2013 12:21:35 +0200 | wenzelm | more generous java resources via ISABELLE_BUILD_JAVA_OPTIONS; | changeset | files |