| Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | file | diff | annotate |
| Tue, 05 Jan 2016 14:25:12 +0100 | wenzelm | proper latex setup; | file | diff | annotate |
| Fri, 03 Dec 2010 20:38:58 +0100 | wenzelm | recoded latin1 as utf8; | file | diff | annotate |
| 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 |