| Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Fri, 16 Apr 2004 21:00:53 +0200 | wenzelm | more elaborate header markup; | file | diff | annotate |
| Sun, 13 Jan 2002 21:13:27 +0100 | wenzelm | \usepackage[latin1]{inputenc}; | file | diff | annotate |
| Thu, 06 Dec 2001 17:15:53 +0100 | wenzelm | include session graph; | file | diff | annotate |
| Sat, 03 Nov 2001 01:45:32 +0100 | wenzelm | document setup; | file | diff | annotate |