| 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 |
| Fri, 02 Jan 2009 16:21:47 +0100 | wenzelm | renamed ThyEdit (in thy_edit.ML) to ThySyntax (in thy_syntax.ML); | changeset | files |