isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sat, 05 Sep 2009 15:46:52 +0200 Mirabelle: command-line action options may either be key=value or just key

changeset

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,

changeset

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

changeset

haftmann [Fri, 04 Sep 2009 15:19:51 +0200] rev 32520

merged

Fri, 04 Sep 2009 15:18:35 +0200 tuned metis proofs

changeset

haftmann [Fri, 04 Sep 2009 15:18:35 +0200] rev 32519

tuned metis proofs

Fri, 04 Sep 2009 13:57:56 +0200 tuned

changeset

boehmes [Fri, 04 Sep 2009 13:57:56 +0200] rev 32518

tuned

Fri, 04 Sep 2009 10:58:50 +0200 tuned output

changeset

nipkow [Fri, 04 Sep 2009 10:58:50 +0200] rev 32517

tuned output

Thu, 03 Sep 2009 22:48:18 +0200 merged

changeset

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),

changeset

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)

Thu, 03 Sep 2009 20:26:07 +0200 merged

changeset

haftmann [Thu, 03 Sep 2009 20:26:07 +0200] rev 32514

merged

Thu, 03 Sep 2009 17:26:10 +0200 merged

changeset

haftmann [Thu, 03 Sep 2009 17:26:10 +0200] rev 32513

merged

(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle

RSS Atom