| Mon, 24 Aug 1998 19:12:13 +0200 | wenzelm | emacs local vars; | file | diff | annotate |
| Thu, 05 Feb 1998 10:26:59 +0100 | paulson | Fixed a lot of overfull and underfull lines (hboxes) | file | diff | annotate |
| Fri, 05 Dec 1997 18:45:19 +0100 | wenzelm | changed typed_print_translation; | 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 |
| Wed, 07 May 1997 17:21:24 +0200 | wenzelm | tuned spaces; | file | diff | annotate |
| Wed, 07 May 1997 16:29:06 +0200 | paulson | New acknowledgements; fixed overfull lines and tables | file | diff | annotate |
| Tue, 06 May 1997 12:50:16 +0200 | wenzelm | misc updates, tuning, cleanup; | file | diff | annotate |