| Tue, 21 Jul 1998 16:41:12 +0200 | wenzelm | fixed isabelle logo; | file | diff | annotate |
| Mon, 12 May 1997 17:15:36 +0200 | wenzelm | added 'clean'; | file | diff | annotate |
| Fri, 02 May 1997 16:41:35 +0200 | berghofe | Updated to LaTeX 2e | file | diff | annotate |
| Thu, 20 Feb 1997 15:18:43 +0100 | wenzelm | fixed rail.sty dep; | file | diff | annotate |
| Thu, 20 Feb 1997 15:13:52 +0100 | wenzelm | rail output; | file | diff | annotate |
| Thu, 04 May 1995 14:57:06 +0200 | lcp | Calls 'rail' program for syntax diagrams | file | diff | annotate |
| Fri, 14 Apr 1995 11:20:53 +0200 | lcp | Removes (obsolete) target if already present. | file | diff | annotate |
| Mon, 12 Sep 1994 13:06:07 +0200 | lcp | New Makefile for Reference Manual | file | diff | annotate |