| Sun, 30 Sep 2007 16:20:34 +0200 | wenzelm | maintain tags (Markup.property list); | changeset | files |
| Sun, 30 Sep 2007 16:20:33 +0200 | wenzelm | skofuns/absfuns: explicit markup as internal consts; | changeset | files |
| Sun, 30 Sep 2007 16:20:31 +0200 | wenzelm | Sign.add_consts_authentic: tags (Markup.property list); | changeset | files |
| Sun, 30 Sep 2007 11:55:14 +0200 | wenzelm | standard_term_check: include expand_abbrevs (back again); | changeset | files |