| Thu, 03 Dec 2015 15:33:00 +0100 | haftmann | moved section according to supposed order of interest | changeset | files |
| Thu, 03 Dec 2015 08:10:58 +0100 | haftmann | consolidated documentation | changeset | files |
| Thu, 03 Dec 2015 08:10:57 +0100 | haftmann | modernized | changeset | files |
| Thu, 03 Dec 2015 08:10:56 +0100 | haftmann | tuned sections | changeset | files |
| Wed, 02 Dec 2015 19:14:57 +0100 | haftmann | modernized | changeset | files |
| Wed, 02 Dec 2015 19:14:57 +0100 | haftmann | alternating parsing and defining of rewrite definitions: formally correct treatment of polymorphism | changeset | files |
| Wed, 02 Dec 2015 19:14:57 +0100 | haftmann | prefer conventional read/check distinction over manual check | changeset | files |