| Sun, 31 Oct 1999 20:11:23 +0100 | wenzelm | updated; | file | diff | annotate |
| Wed, 05 May 1999 16:44:42 +0200 | paulson | Now uses manual.bib; some references updated | file | diff | annotate |
| Wed, 03 Feb 1999 13:23:24 +0100 | paulson | standard spelling: type-checking | file | diff | annotate |
| Fri, 25 Sep 1998 16:21:56 +0200 | oheimb | minor corrections | file | diff | annotate |
| Fri, 25 Sep 1998 15:57:23 +0200 | oheimb | exchanged automatic-tactics and semi-automatic-tactics | file | diff | annotate |
| Thu, 24 Sep 1998 16:53:14 +0200 | oheimb | introduced addSE2, addSD2, addE2, and addD2 | file | diff | annotate |
| Mon, 24 Aug 1998 19:12:13 +0200 | wenzelm | emacs local vars; | file | diff | annotate |