Mon, 11 Jul 1994 16:29:21 +0200 | lcp | misc updates | file | diff | annotate |
Tue, 03 May 1994 11:17:08 +0200 | lcp | post-CRC corrections | file | diff | annotate |
Wed, 23 Mar 1994 11:32:21 +0100 | lcp | first draft of Springer volume | file | diff | annotate |