| 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 |
| Fri, 02 Jan 2009 16:21:10 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 02 Jan 2009 15:44:59 +0100 | wenzelm | Isar.command: plain Position.id; | changeset | files |
| Fri, 02 Jan 2009 15:44:33 +0100 | wenzelm | added type 'a parser, simplified signature; | changeset | files |
| Fri, 02 Jan 2009 15:44:33 +0100 | wenzelm | added type 'a parser, simplified signature; | changeset | files |
| Fri, 02 Jan 2009 15:44:33 +0100 | wenzelm | added type 'a parser, simplified signature; | changeset | files |