| 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 |
| Sun, 26 Jan 2014 13:45:40 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 25 Jan 2014 23:50:49 +0100 | haftmann | less clumsy namespace | changeset | files |
| Sat, 25 Jan 2014 23:50:49 +0100 | haftmann | immediate "activation" of const syntax at declaration time | changeset | files |