| Mon, 06 Oct 2014 21:21:46 +0200 | nipkow | tuned | changeset | files |
| Mon, 06 Oct 2014 19:55:49 +0200 | wenzelm | improved spelling of formal INCOMPATIBILITY in historic versions (!) -- to avoid ad-hoc word completion multiply such lapses; | changeset | files |
| Mon, 06 Oct 2014 19:40:22 +0200 | nipkow | merged | changeset | files |