| Thu, 21 Jan 2016 20:50:34 +0100 | wenzelm | clarified errors: more explicit treatment of uninitialized state; | changeset | files |
| Wed, 20 Jan 2016 23:19:52 +0100 | wenzelm | check more files; | changeset | files |
| Wed, 20 Jan 2016 23:05:57 +0100 | wenzelm | updated header; | changeset | files |
| Wed, 10 Feb 2016 15:49:05 +0100 | nipkow | tuned text | changeset | files |
| Tue, 09 Feb 2016 16:38:43 +0100 | nipkow | tuned | changeset | files |
| Tue, 09 Feb 2016 11:05:53 +0100 | nipkow | synchronized with book | changeset | files |
| Tue, 09 Feb 2016 09:51:55 +0100 | nipkow | tuned | changeset | files |