| Fri, 18 Dec 2009 15:32:52 +0100 | wenzelm | imitate PG style; | file | diff | annotate |
| Fri, 18 Dec 2009 15:11:01 +0100 | wenzelm | imitate PG colors; | file | diff | annotate |
| Sat, 05 Dec 2009 16:39:49 +0100 | wenzelm | added markup for hidden text; | file | diff | annotate |
| Fri, 02 Jan 2009 19:38:14 +0100 | wenzelm | updated rendering of inner token markup; | file | diff | annotate |
| Wed, 13 Aug 2008 20:57:16 +0200 | wenzelm | removed obsolete theorems; | file | diff | annotate |
| Wed, 11 Jul 2007 19:22:05 +0200 | wenzelm | tuned error faces; | file | diff | annotate |
| Wed, 11 Jul 2007 00:46:48 +0200 | wenzelm | tuned comment markup; | file | diff | annotate |
| Tue, 10 Jul 2007 23:29:35 +0200 | wenzelm | added some markup for outer syntax; | file | diff | annotate |
| Sat, 07 Jul 2007 00:14:49 +0200 | wenzelm | added class skolem, command; | file | diff | annotate |
| Sun, 28 Aug 2005 19:46:49 +0200 | wenzelm | added 'loc'; | file | diff | annotate |
| Mon, 12 Apr 2004 23:53:53 +0200 | kleing | use css in generated web pages | file | diff | annotate |