| Wed, 22 May 2013 00:30:36 +0200 | nipkow | tuned | changeset | files |
| Tue, 21 May 2013 21:05:10 +0200 | wenzelm | tuned messages; | changeset | files |
| Tue, 21 May 2013 18:03:36 +0200 | wenzelm | proper options; | changeset | files |
| Tue, 21 May 2013 17:55:28 +0200 | wenzelm | proper options; | changeset | files |
| Tue, 21 May 2013 17:45:53 +0200 | wenzelm | more markup; | changeset | files |
| Tue, 21 May 2013 16:51:16 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 21 May 2013 16:47:18 +0200 | wenzelm | less intrusive rendering of antiquoted text -- avoid visual clash with "blue variables" in particular; | changeset | files |