| Sat, 29 Dec 2001 18:36:12 +0100 | wenzelm | tuned document sources; | file | diff | annotate |
| Fri, 16 Nov 2001 22:08:28 +0100 | wenzelm | \usepackage[latin1]{inputenc}; | file | diff | annotate |
| Wed, 14 Nov 2001 23:22:15 +0100 | wenzelm | document setup; | file | diff | annotate |