blanchet [Sun, 06 Jan 2013 17:38:29 +0100] rev 51771
put single-theorem names before multi-theorem ones (broken since 5d147d492792)
blanchet [Sun, 06 Jan 2013 17:38:29 +0100] rev 51770
get rid of spurious "Isar" proofs
blanchet [Sun, 06 Jan 2013 17:38:29 +0100] rev 51769
also generate queries for goals with too many Isar dependencies
wenzelm [Sun, 06 Jan 2013 12:44:45 +0100] rev 51768
updated to scala-2.10.0;
blanchet [Sun, 06 Jan 2013 10:02:34 +0100] rev 51767
merged
blanchet [Sat, 05 Jan 2013 22:31:33 +0100] rev 51766
tuned message
blanchet [Sat, 05 Jan 2013 22:31:32 +0100] rev 51765
tap after, not before command invocation
blanchet [Sat, 05 Jan 2013 22:31:31 +0100] rev 51764
increased hard timeout -- minimization can take time
blanchet [Sat, 05 Jan 2013 22:31:30 +0100] rev 51763
nicer output
blanchet [Sat, 05 Jan 2013 22:31:30 +0100] rev 51762
pass option to minimize