| Tue, 07 Jun 2011 10:43:18 +0200 | blanchet | nicely thread monomorphism verbosity in Metis and Sledgehammer | changeset | files |
| Tue, 07 Jun 2011 10:24:16 +0200 | boehmes | clarified meaning of monomorphization configuration option by renaming it | changeset | files |
| Tue, 07 Jun 2011 08:58:23 +0200 | blanchet | documentation tweaks | changeset | files |
| Tue, 07 Jun 2011 08:52:35 +0200 | blanchet | obsoleted "metisFT", and added "no_types" version of Metis as fallback to Sledgehammer after noticing how useful it can be | changeset | files |
| Tue, 07 Jun 2011 07:57:24 +0200 | blanchet | fixed typo in legacy feature message | changeset | files |
| Tue, 07 Jun 2011 07:45:12 +0200 | blanchet | use new monomorphization code | changeset | files |