| Mon, 15 Feb 2010 14:04:06 +0100 | haftmann | clarifed type | changeset | files |
| Sun, 14 Feb 2010 17:46:28 +0100 | boehmes | optionally localize assertion labels (based on user-defined offsets) to reduce the effort of label adaptions after changes to the source program | changeset | files |
| Sun, 14 Feb 2010 00:26:48 +0100 | wenzelm | formal markup of constants; | changeset | files |
| Sat, 13 Feb 2010 23:24:57 +0100 | wenzelm | modernized structures; | changeset | files |