| Thu, 11 Oct 2007 16:38:57 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 11 Oct 2007 16:38:42 +0200 | wenzelm | replaced Sign.add_consts_i by Sign.declare_const; | changeset | files |
| Thu, 11 Oct 2007 16:05:56 +0200 | wenzelm | replaced Sign.add_consts_authentic by Sign.declare_const; | changeset | files |
| Thu, 11 Oct 2007 16:05:53 +0200 | wenzelm | renamed Syntax.XXX_mode to Syntax.mode_XXX; | changeset | files |