| Sat, 07 Jul 2007 12:16:13 +0200 | wenzelm | moved markup.ML before position.ML; | changeset | files |
| Sat, 07 Jul 2007 11:09:40 +0200 | chaieb | The order for parameter for interpretation is now inversted: | changeset | files |
| Sat, 07 Jul 2007 00:17:10 +0200 | wenzelm | Common markup elements. | changeset | files |
| Sat, 07 Jul 2007 00:15:03 +0200 | wenzelm | simplified pretty token metric: type int; | changeset | files |