| Sun, 30 May 2010 21:59:15 +0200 | wenzelm | one extra space to accomodate symbolic indentifiers etc.; | changeset | files |
| Sun, 30 May 2010 21:34:19 +0200 | wenzelm | replaced ML_Lex.read_antiq by more concise ML_Lex.read, which includes full read/report with explicit position information; | changeset | files |
| Sun, 30 May 2010 18:23:50 +0200 | wenzelm | more detailed token markup, including command kind as sub_kind; | changeset | files |