Sat, 05 Sep 2009 17:35:05 +0200 merged
boehmes [Sat, 05 Sep 2009 17:35:05 +0200] rev 32524
merged
Sat, 05 Sep 2009 17:34:30 +0200 separate output of ATP user time and sledgehammer (ML code) user time
boehmes [Sat, 05 Sep 2009 17:34:30 +0200] rev 32523
separate output of ATP user time and sledgehammer (ML code) user time
Sat, 05 Sep 2009 15:46:52 +0200 Mirabelle: command-line action options may either be key=value or just key
boehmes [Sat, 05 Sep 2009 15:46:52 +0200] rev 32522
Mirabelle: command-line action options may either be key=value or just key
Sat, 05 Sep 2009 11:45:57 +0200 added initialization and cleanup of actions,
boehmes [Sat, 05 Sep 2009 11:45:57 +0200] rev 32521
added initialization and cleanup of actions, added option to suppress Isabelle output, sledgehammer action produces its own report (no need for additional perl script)
Fri, 04 Sep 2009 15:19:51 +0200 merged
haftmann [Fri, 04 Sep 2009 15:19:51 +0200] rev 32520
merged
Fri, 04 Sep 2009 15:18:35 +0200 tuned metis proofs
haftmann [Fri, 04 Sep 2009 15:18:35 +0200] rev 32519
tuned metis proofs
Fri, 04 Sep 2009 13:57:56 +0200 tuned
boehmes [Fri, 04 Sep 2009 13:57:56 +0200] rev 32518
tuned
Fri, 04 Sep 2009 10:58:50 +0200 tuned output
nipkow [Fri, 04 Sep 2009 10:58:50 +0200] rev 32517
tuned output
Thu, 03 Sep 2009 22:48:18 +0200 merged
boehmes [Thu, 03 Sep 2009 22:48:18 +0200] rev 32516
merged
Thu, 03 Sep 2009 22:47:31 +0200 Mirabelle: actions are responsible for catching exceptions and producing suitable log messages (makes log message uniform),
boehmes [Thu, 03 Sep 2009 22:47:31 +0200] rev 32515
Mirabelle: actions are responsible for catching exceptions and producing suitable log messages (makes log message uniform), removed PolyML.makestring (no strict dependency on PolyML anymore)
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip