isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Fri, 15 Feb 2013 09:59:46 +0100 merged

changeset

Andreas Lochbihler [Fri, 15 Feb 2013 09:59:46 +0100] rev 51140

merged

Fri, 15 Feb 2013 09:41:25 +0100 partially revert 0dac0158b8d4 as it too aggressively spreads card_UNIV type class whose dictionary constructions can slow down generated code;

changeset

Andreas Lochbihler [Fri, 15 Feb 2013 09:41:25 +0100] rev 51139

partially revert 0dac0158b8d4 as it too aggressively spreads card_UNIV type class whose dictionary constructions can slow down generated code; provide better error messages instead for card and subseteq

Fri, 15 Feb 2013 09:17:26 +0100 killed legacy alias

changeset

blanchet [Fri, 15 Feb 2013 09:17:26 +0100] rev 51138

killed legacy alias

Fri, 15 Feb 2013 09:17:20 +0100 updated news

changeset

blanchet [Fri, 15 Feb 2013 09:17:20 +0100] rev 51137

updated news

Fri, 15 Feb 2013 09:17:20 +0100 avoid crude/wrong theorem comparision

changeset

blanchet [Fri, 15 Feb 2013 09:17:20 +0100] rev 51136

avoid crude/wrong theorem comparision

Fri, 15 Feb 2013 09:17:20 +0100 tuned code

changeset

blanchet [Fri, 15 Feb 2013 09:17:20 +0100] rev 51135

tuned code

Fri, 15 Feb 2013 09:17:20 +0100 more MaSh tracing

changeset

blanchet [Fri, 15 Feb 2013 09:17:20 +0100] rev 51134

more MaSh tracing

Fri, 15 Feb 2013 09:17:20 +0100 tuning

changeset

blanchet [Fri, 15 Feb 2013 09:17:20 +0100] rev 51133

tuning

Thu, 14 Feb 2013 23:54:46 +0100 fixed metis_steps_total - was off by one

changeset

smolkas [Thu, 14 Feb 2013 23:54:46 +0100] rev 51132

fixed metis_steps_total - was off by one

Thu, 14 Feb 2013 22:49:22 +0100 preplay subblocks

changeset

smolkas [Thu, 14 Feb 2013 22:49:22 +0100] rev 51131

preplay subblocks

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

isabelle

RSS Atom