| Thu, 17 Apr 1997 18:17:23 +0200 | paulson | Automatic updates | file | diff | annotate |
| Mon, 22 Jul 1996 16:16:51 +0200 | paulson | Updated BibTeX identifiers | file | diff | annotate |
| Thu, 10 Aug 1995 13:14:34 +0200 | paulson | Trivial reformatting of reference | file | diff | annotate |
| Wed, 19 Jul 1995 15:53:43 +0200 | nipkow | Updated nipkow-prehofer | file | diff | annotate |
| Tue, 03 May 1994 18:38:28 +0200 | lcp | final Springer version | file | diff | annotate |
| Wed, 10 Nov 1993 05:06:55 +0100 | lcp | Initial revision | file | diff | annotate |