| 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 |
| Tue, 14 May 2013 09:49:03 +0200 | blanchet | generate valid direct Isar proof also if the facts are contradictory | changeset | files |