| Wed, 26 Aug 1998 16:33:29 +0200 | moved images to gfx dir; | file | diff | annotate |
| Tue, 21 Jul 1998 16:41:12 +0200 | fixed isabelle logo; | file | diff | annotate |
| Mon, 12 May 1997 17:15:36 +0200 | added 'clean'; | file | diff | annotate |
| Fri, 02 May 1997 16:18:49 +0200 | Updated to LaTeX 2e | file | diff | annotate |
| Thu, 20 Feb 1997 15:52:53 +0100 | added dist; | file | diff | annotate |
| Thu, 20 Feb 1997 14:59:02 +0100 | made a bit more robust; | file | diff | annotate |
| Fri, 14 Apr 1995 11:20:53 +0200 | Removes (obsolete) target if already present. | file | diff | annotate |
| Mon, 12 Sep 1994 13:01:38 +0200 | New Makefile for Introduction | file | diff | annotate |