| Tue, 20 Mar 2012 13:53:09 +0100 | blanchet | take out experimental polymorphic @ encodings from Metis test -- proof reconstruction is fragile for them | changeset | files |
| Tue, 20 Mar 2012 13:53:09 +0100 | blanchet | more conservative Metis defaults, for backward compatiblity (as illustrated by one "metis" call in "Auth/KerberosV") | changeset | files |
| Tue, 20 Mar 2012 13:53:09 +0100 | blanchet | remove two options that were found to play hardly any role | changeset | files |