boehmes [Tue, 27 Oct 2009 18:01:50 +0100] rev 33240
included description for sledgehammer options in Mirabelle script
boehmes [Tue, 27 Oct 2009 18:00:50 +0100] rev 33239
measure runtime of ATPs only if requested
wenzelm [Tue, 27 Oct 2009 16:16:12 +0100] rev 33238
merged
wenzelm [Tue, 27 Oct 2009 15:02:31 +0100] rev 33237
comment;
wenzelm [Tue, 27 Oct 2009 13:34:37 +0100] rev 33236
non-critical output -- ship message in one piece;
wenzelm [Tue, 27 Oct 2009 13:24:40 +0100] rev 33235
ProofContext.setmp_verbose_CRITICAL;
wenzelm [Tue, 27 Oct 2009 13:16:16 +0100] rev 33234
non-critical atomic accesses;
wenzelm [Tue, 27 Oct 2009 13:15:20 +0100] rev 33233
critical comments;
wenzelm [Tue, 27 Oct 2009 13:15:04 +0100] rev 33232
tuned;
haftmann [Tue, 27 Oct 2009 16:05:22 +0100] rev 33231
merged