| Fri, 08 Apr 2011 16:31:14 +0200 | bulwahn | new compilation for exhaustive quickcheck | changeset | files |
| Fri, 08 Apr 2011 23:33:57 +0200 | wenzelm | tuned; | changeset | files |
| 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 |
| Fri, 08 Apr 2011 22:40:29 +0200 | wenzelm | more accurate markup for syntax consts, notably binders which point back to the original logical entity; | changeset | files |
| Fri, 08 Apr 2011 21:11:29 +0200 | wenzelm | discontinued Syntax.max_pri, which is not really a symbolic parameter; | changeset | files |