Fri, 21 Nov 1997 15:41:27 +0100 | wenzelm | changed Pure/Sequence interface; | file | diff | annotate |
Wed, 02 Jul 1997 16:46:36 +0200 | paulson | Now there are TWO spaces after each full stop, so that the Emacs sentence | file | diff | annotate |
Fri, 15 Apr 1994 18:10:49 +0200 | lcp | penultimate Springer draft | file | diff | annotate |