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 |
Fri, 08 Apr 2011 21:03:20 +0200 | wenzelm | CONST syntax with positions; | changeset | files |