| Thu, 15 May 2008 20:14:10 +0200 | wenzelm | use Isabelle sty files from Doc/; | file | diff | annotate |
| Mon, 23 Jul 2007 14:36:37 +0200 | berghofe | Replaced "hand-made" LaTeX code in Protocol/protocol.tex by | file | diff | annotate |
| Thu, 19 Jul 2007 15:32:58 +0200 | berghofe | Replaced "hand-made" files by generated files in Inductive/document. | file | diff | annotate |
| Tue, 08 Jan 2002 20:52:46 +0100 | wenzelm | dependencies for "typedef" image; | file | diff | annotate |
| Tue, 08 Jan 2002 20:45:45 +0100 | wenzelm | improved arrangement of "typedef" images; | file | diff | annotate |
| Tue, 08 Jan 2002 17:43:21 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 07 Jan 2002 18:31:00 +0100 | wenzelm | tuned deps; | file | diff | annotate |
| Sat, 05 Jan 2002 21:41:11 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 04 Jan 2002 19:19:29 +0100 | wenzelm | link Types/typedef images; | file | diff | annotate |
| Fri, 21 Dec 2001 00:43:58 +0100 | wenzelm | removed Types/records.tex; | file | diff | annotate |
| Mon, 01 Oct 2001 14:44:00 +0200 | wenzelm | initial setup for chapter on document preparation; | file | diff | annotate |
| Fri, 20 Jul 2001 17:49:10 +0200 | wenzelm | SEDINDEX = ./isa-index; | file | diff | annotate |
| Tue, 17 Jul 2001 13:46:21 +0200 | paulson | tidying the index | file | diff | annotate |
| Mon, 09 Jul 2001 13:43:02 +0200 | paulson | isa-index replaces ../sedindex: knows about \\isa | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Tue, 09 May 2000 16:05:45 +0200 | wenzelm | use proper version of pdfsetup.sty; | file | diff | annotate |
| Mon, 08 May 2000 11:13:28 +0200 | wenzelm | improved indexing; | file | diff | annotate |
| Thu, 20 Apr 2000 09:54:56 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 19 Apr 2000 11:54:39 +0200 | nipkow | I wonder if that's all? | file | diff | annotate |