| Wed, 24 Feb 2010 21:59:21 +0100 | wenzelm | proper type syntax (cf. 7425aece4ee3); | changeset | files |
| Wed, 24 Feb 2010 21:55:46 +0100 | wenzelm | observe standard convention for syntax consts; | changeset | files |
| Wed, 24 Feb 2010 20:37:01 +0100 | wenzelm | allow general mixfix syntax for type constructors; | changeset | files |