| Mon, 11 Aug 2008 18:37:49 +0200 | wenzelm | renamed Markup.class to Markup.tclass, to avoid potential conflicts with spacial meaning in markup languages (e.g. HTML); | changeset | files |
| Mon, 11 Aug 2008 17:37:48 +0200 | wenzelm | Isar.command: do not set position of enclosing transaction, to avoid of clash with the one being prepared here! | changeset | files |
| Mon, 11 Aug 2008 14:50:04 +0200 | haftmann | changed code setup | changeset | files |