| Tue, 29 Apr 2014 16:02:02 +0200 | wenzelm | prefer plain ASCII / latex over not-so-universal Unicode; | changeset | files |
| Tue, 29 Apr 2014 16:00:34 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Tue, 29 Apr 2014 16:00:13 +0200 | wenzelm | proper Unix line termination; | changeset | files |