| Tue, 02 May 1995 19:59:06 +0200 | nipkow | Sections can now be given in any order. | file | diff | annotate |
| Fri, 15 Apr 1994 17:50:14 +0200 | lcp | penultimate Springer draft | file | diff | annotate |
| Wed, 23 Mar 1994 16:56:44 +0100 | nipkow | have broken line | file | diff | annotate |
| Mon, 21 Mar 1994 10:51:28 +0100 | lcp | first draft of Springer book | file | diff | annotate |