| Wed, 30 Apr 1997 16:36:38 +0200 | paulson | Automatic update | file | diff | annotate |
| Tue, 24 Sep 1996 13:51:10 +0200 | paulson | Restoration of reference to Nipkow, LICS, 1993 | file | diff | annotate |
| Mon, 23 Sep 1996 18:10:48 +0200 | paulson | Removal of reference Nipkow-LICS-93 | file | diff | annotate |
| Thu, 11 Jul 1996 15:13:52 +0200 | paulson | Added ML reference | file | diff | annotate |
| Fri, 08 Dec 1995 13:22:55 +0100 | paulson | trivial, automatic changes | file | diff | annotate |
| Tue, 12 Sep 1995 11:04:29 +0200 | paulson | trivial update to POPL title | 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 |
| Wed, 25 Jan 1995 04:00:27 +0100 | lcp | changed due to new .bib files | file | diff | annotate |
| Wed, 23 Nov 1994 11:45:56 +0100 | lcp | new reference to HO patterns | file | diff | annotate |
| Tue, 03 May 1994 18:38:28 +0200 | lcp | final Springer version | file | diff | annotate |
| Wed, 01 Dec 1993 12:48:47 +0100 | lcp | new references | file | diff | annotate |
| Wed, 10 Nov 1993 05:00:57 +0100 | lcp | Initial revision | file | diff | annotate |