| Thu, 18 Jan 1996 10:38:29 +0100 | paulson | trivial updates | file | diff | annotate |
| Tue, 25 Jul 1995 16:43:55 +0200 | lcp | trivial update | file | diff | annotate |
| Tue, 13 Sep 1994 10:26:24 +0200 | lcp | minor updates | file | diff | annotate |
| Wed, 23 Mar 1994 13:05:12 +0100 | lcp | first draft of Springer volume | file | diff | annotate |
| Wed, 10 Nov 1993 05:00:57 +0100 | lcp | Initial revision | file | diff | annotate |