| Sun, 01 May 2011 18:52:38 +0200 | blanchet | adapt to new type system names | changeset | files |
| Sun, 01 May 2011 18:37:25 +0200 | blanchet | restructured type systems some more -- the old naming schemes had "argshg diff |less" and "tagshg diff |less" as equivalent and didn't support a monomorphic version of "tags" | changeset | files |
| Sun, 01 May 2011 18:37:25 +0200 | blanchet | take "partial_types" option with a grain of salt | changeset | files |