| Thu, 26 Jan 2012 22:16:45 +0100 | wenzelm | updated "Control and search tacticals" (moved from ref to implementation); | file | diff | annotate |
| Mon, 06 Jun 2011 19:13:48 +0200 | wenzelm | removed odd remains of low-level session management; | file | diff | annotate |
| Mon, 06 Jun 2011 19:08:46 +0200 | wenzelm | moved incr_boundvars; | file | diff | annotate |
| Sun, 01 Mar 2009 13:48:17 +0100 | wenzelm | removed parts of the manual that are clearly obsolete, or covered by | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Mon, 08 May 2000 11:13:28 +0200 | wenzelm | improved indexing; | file | diff | annotate |
| Tue, 18 May 1999 12:34:42 +0200 | paulson | ../manual.bib a new dependency | file | diff | annotate |
| Mon, 10 May 1999 17:44:17 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 10 May 1999 16:35:22 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Mon, 10 May 1999 15:16:49 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Wed, 05 May 1999 18:35:41 +0200 | wenzelm | improved Makefile; | file | diff | annotate |
| Thu, 24 Sep 1998 15:36:16 +0200 | oheimb | workaround for litte bug in our ln command | file | diff | annotate |
| Thu, 24 Sep 1998 11:00:07 +0200 | oheimb | fixed calls of ln, rm | file | diff | annotate |
| Wed, 26 Aug 1998 16:33:29 +0200 | wenzelm | moved images to gfx dir; | file | diff | annotate |
| 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 |