| Mon, 14 Nov 1994 14:29:20 +0100 | updated remarks about grammar; added section about ambiguities | file | diff | annotate |
| Thu, 07 Jul 1994 19:22:49 +0200 | changed priority of :: | file | diff | annotate |
| Fri, 22 Apr 1994 18:18:37 +0200 | final Springer copy | file | diff | annotate |
| Fri, 15 Apr 1994 16:37:59 +0200 | penultimate Springer draft | file | diff | annotate |