Tue, 21 Oct 2014 10:00:25 +0200 | wenzelm | tuned spacing; | changeset | files |
Tue, 21 Oct 2014 09:50:22 +0200 | wenzelm | clarified verbatim line breaks, e.g. relevant for Implementation mldecls; | changeset | files |
Tue, 21 Oct 2014 21:10:44 +0200 | haftmann | turn even into an abbreviation | changeset | files |