Wed, 10 Mar 2021 20:09:26 +0100 | wenzelm | proper \usepackage[T1]{fontenc}; | file | diff | annotate |
Wed, 23 Dec 2020 22:25:22 +0100 | wenzelm | tuned document, notably authors and sections; | file | diff | annotate |
Sun, 02 Nov 2014 17:27:22 +0100 | wenzelm | obsolete; | file | diff | annotate |
Wed, 12 May 2010 14:17:26 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
Mon, 10 Apr 2006 11:33:36 +0200 | nipkow | Minimal doc | file | diff | annotate |