| Sat, 07 Jul 2007 12:16:15 +0200 | wenzelm | added property conversions; | changeset | files |
| Sat, 07 Jul 2007 12:16:14 +0200 | wenzelm | position: line and name; | changeset | files |
| Sat, 07 Jul 2007 12:16:13 +0200 | wenzelm | moved markup.ML before position.ML; | changeset | files |