| Wed, 15 Jul 1998 10:15:13 +0200 | paulson | Removal of leading "\!\!..." from most Goal commands | file | diff | annotate |
| Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
| Thu, 08 Jan 1998 18:00:42 +0100 | oheimb | corrected Title | file | diff | annotate |
| Mon, 03 Nov 1997 12:13:18 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
| Wed, 30 Apr 1997 11:56:17 +0200 | mueller | old IOA meta theory (see also new version in HOLCF/IOA/meta_theory); | file | diff | annotate |