| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | marked "metisF" as legacy -- nobody uses it or needs it | changeset | files |
| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | more preparations towards hijacking Metis | changeset | files |
| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | remove more occurrences of "metisX", preparing for the D Day when it will silently hijack "metis" and "metisFT" | changeset | files |
| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | don't mention "metisX" so much in the docs -- it will go away soon | changeset | files |
| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | reintroduced metisFT in example | changeset | files |
| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | make "smart" mode of "explicit_apply" smarter, by also detecting the other kind of higher-order quantification, namely "bool"s | changeset | files |