Mon, 06 Jun 2011 20:36:35 +0200 more preparations towards hijacking Metis
blanchet [Mon, 06 Jun 2011 20:36:35 +0200] rev 43205
more preparations towards hijacking Metis
Mon, 06 Jun 2011 20:36:35 +0200 remove more occurrences of "metisX", preparing for the D Day when it will silently hijack "metis" and "metisFT"
blanchet [Mon, 06 Jun 2011 20:36:35 +0200] rev 43204
remove more occurrences of "metisX", preparing for the D Day when it will silently hijack "metis" and "metisFT"
Mon, 06 Jun 2011 20:36:35 +0200 don't mention "metisX" so much in the docs -- it will go away soon
blanchet [Mon, 06 Jun 2011 20:36:35 +0200] rev 43203
don't mention "metisX" so much in the docs -- it will go away soon
Mon, 06 Jun 2011 20:36:35 +0200 reintroduced metisFT in example
blanchet [Mon, 06 Jun 2011 20:36:35 +0200] rev 43202
reintroduced metisFT in example
Mon, 06 Jun 2011 20:36:35 +0200 make "smart" mode of "explicit_apply" smarter, by also detecting the other kind of higher-order quantification, namely "bool"s
blanchet [Mon, 06 Jun 2011 20:36:35 +0200] rev 43201
make "smart" mode of "explicit_apply" smarter, by also detecting the other kind of higher-order quantification, namely "bool"s
Mon, 06 Jun 2011 20:36:35 +0200 imported patch metis_reconstr_give_type_infer_a_chance
blanchet [Mon, 06 Jun 2011 20:36:35 +0200] rev 43200
imported patch metis_reconstr_give_type_infer_a_chance
Mon, 06 Jun 2011 20:36:35 +0200 make "metisX"'s default more like old "metis"
blanchet [Mon, 06 Jun 2011 20:36:35 +0200] rev 43199
make "metisX"'s default more like old "metis"
Mon, 06 Jun 2011 20:36:35 +0200 whitespace tuning
blanchet [Mon, 06 Jun 2011 20:36:35 +0200] rev 43198
whitespace tuning
Mon, 06 Jun 2011 20:36:35 +0200 tuned Metis examples
blanchet [Mon, 06 Jun 2011 20:36:35 +0200] rev 43197
tuned Metis examples
Mon, 06 Jun 2011 20:36:35 +0200 more through tests of new Metis
blanchet [Mon, 06 Jun 2011 20:36:35 +0200] rev 43196
more through tests of new Metis
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip