| Fri, 02 Jan 2009 19:38:14 +0100 | wenzelm | more detailed inner token markup; | changeset | files |
| Fri, 02 Jan 2009 19:38:13 +0100 | wenzelm | added numeral, which supercedes num, xnum, float; | changeset | files |
| Fri, 02 Jan 2009 19:30:12 +0100 | wenzelm | renamed token markup "_xstr" to "_inner_string"; | changeset | files |
| Fri, 02 Jan 2009 19:29:18 +0100 | wenzelm | removed dead code; | changeset | files |