| Fri, 09 Sep 1994 11:57:49 +0200 | Per cent (%) now functions as comment character in tt | file | diff | annotate |
| Mon, 11 Jul 1994 16:29:21 +0200 | misc updates | file | diff | annotate |
| Wed, 23 Mar 1994 11:32:21 +0100 | first draft of Springer volume | file | diff | annotate |