| Mon, 05 Aug 2002 12:00:51 +0200 | wenzelm | updated; | file | diff | annotate |
| Mon, 29 Jan 2001 14:14:03 +0100 | wenzelm | *** empty log message *** | file | diff | annotate |
| Fri, 19 Jan 2001 19:26:02 +0100 | wenzelm | more bugs; | file | diff | annotate |
| Mon, 08 Dec 1997 13:56:49 +0100 | paulson | Comprehensive (??) list of bugs, fixed or not | file | diff | annotate |