| Mon, 27 Jan 2014 12:10:00 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 26 Jan 2014 16:23:47 +0100 | haftmann | obsolete | changeset | files |
| Sun, 26 Jan 2014 16:23:46 +0100 | haftmann | more suitable names, without any notion of "activating" | changeset | files |
| Sun, 26 Jan 2014 14:01:19 +0100 | wenzelm | discontinued obsolete attribute "standard"; | changeset | files |