wenzelm [Tue, 14 May 2013 12:46:26 +0200] rev 53117
support for more informative crashes;
wenzelm [Tue, 14 May 2013 12:31:11 +0200] rev 53116
more antiquotations;
wenzelm [Tue, 14 May 2013 12:22:18 +0200] rev 53115
tuned messages;
wenzelm [Tue, 14 May 2013 12:21:35 +0200] rev 53114
more generous java resources via ISABELLE_BUILD_JAVA_OPTIONS;
blanchet [Tue, 14 May 2013 09:49:03 +0200] rev 53113
generate valid direct Isar proof also if the facts are contradictory
nipkow [Tue, 14 May 2013 07:09:09 +0200] rev 53112
tuned names
nipkow [Tue, 14 May 2013 06:54:31 +0200] rev 53111
tuned names
wenzelm [Mon, 13 May 2013 22:49:00 +0200] rev 53110
removed obsolete PGIP material;
wenzelm [Mon, 13 May 2013 22:26:59 +0200] rev 53109
more direct output of remaining PGIP rudiments;
tuned signature;
wenzelm [Mon, 13 May 2013 22:12:24 +0200] rev 53108
simplified preferences, removed obsolete operations;