Thu, 28 Nov 2013 08:35:14 +0100 | haftmann | prefer sort-stripping const_typ over Sign.the_const_type whenever appropriate | changeset | files |
Thu, 28 Nov 2013 08:34:52 +0100 | haftmann | prefer name-normalizing devarify over unvarifyT whenever appropriate | changeset | files |
Wed, 27 Nov 2013 15:34:07 +0100 | traytel | some documentation | changeset | files |