| Fri, 08 Apr 2011 23:25:48 +0200 | wenzelm | present type variables; | changeset | files |
| Fri, 08 Apr 2011 23:09:22 +0200 | wenzelm | unparse: more accurate markup for syntax consts, notably binders; | changeset | files |
| Fri, 08 Apr 2011 22:59:52 +0200 | wenzelm | notation: proper markup for type constructor / constant; | changeset | files |
| Fri, 08 Apr 2011 22:50:50 +0200 | wenzelm | tuned signature; | changeset | files |