| Fri, 10 Feb 2006 02:22:59 +0100 | wenzelm | statement: improved error msg; | changeset | files |
| Fri, 10 Feb 2006 02:22:57 +0100 | wenzelm | * ML/Pure: generic Args/Attrib syntax everywhere; | changeset | files |
| Fri, 10 Feb 2006 02:22:56 +0100 | wenzelm | moved fixedN to lexicon.ML; | changeset | files |
| Fri, 10 Feb 2006 02:22:54 +0100 | wenzelm | added mfix_delims; | changeset | files |
| Fri, 10 Feb 2006 02:22:52 +0100 | wenzelm | added mixfix_conflict; | changeset | files |
| Fri, 10 Feb 2006 02:22:50 +0100 | wenzelm | added fixedN, constN; | changeset | files |
| Fri, 10 Feb 2006 02:22:48 +0100 | wenzelm | tuned comment; | changeset | files |