| 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 |
| Tue, 21 May 2013 13:22:47 +0200 | wenzelm | proper context; | changeset | files |
| Tue, 21 May 2013 12:03:05 +0200 | wenzelm | make SML/NJ happy; | changeset | files |