Mon, 07 Jan 2013 10:17:11 +0100 slightly odd duplication of Pure options for Proof General (amending cb5cdbb645cd);
wenzelm [Mon, 07 Jan 2013 10:17:11 +0100] rev 50757
slightly odd duplication of Pure options for Proof General (amending cb5cdbb645cd);
Sun, 06 Jan 2013 17:38:29 +0100 put single-theorem names before multi-theorem ones (broken since 5d147d492792)
blanchet [Sun, 06 Jan 2013 17:38:29 +0100] rev 50756
put single-theorem names before multi-theorem ones (broken since 5d147d492792)
Sun, 06 Jan 2013 17:38:29 +0100 get rid of spurious "Isar" proofs
blanchet [Sun, 06 Jan 2013 17:38:29 +0100] rev 50755
get rid of spurious "Isar" proofs
Sun, 06 Jan 2013 17:38:29 +0100 also generate queries for goals with too many Isar dependencies
blanchet [Sun, 06 Jan 2013 17:38:29 +0100] rev 50754
also generate queries for goals with too many Isar dependencies
Sun, 06 Jan 2013 12:44:45 +0100 updated to scala-2.10.0;
wenzelm [Sun, 06 Jan 2013 12:44:45 +0100] rev 50753
updated to scala-2.10.0;
Sun, 06 Jan 2013 10:02:34 +0100 merged
blanchet [Sun, 06 Jan 2013 10:02:34 +0100] rev 50752
merged
Sat, 05 Jan 2013 22:31:33 +0100 tuned message
blanchet [Sat, 05 Jan 2013 22:31:33 +0100] rev 50751
tuned message
Sat, 05 Jan 2013 22:31:32 +0100 tap after, not before command invocation
blanchet [Sat, 05 Jan 2013 22:31:32 +0100] rev 50750
tap after, not before command invocation
Sat, 05 Jan 2013 22:31:31 +0100 increased hard timeout -- minimization can take time
blanchet [Sat, 05 Jan 2013 22:31:31 +0100] rev 50749
increased hard timeout -- minimization can take time
Sat, 05 Jan 2013 22:31:30 +0100 nicer output
blanchet [Sat, 05 Jan 2013 22:31:30 +0100] rev 50748
nicer output
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip