Mon, 28 Aug 2000 13:52:38 +0200 |
wenzelm |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file |
diff |
annotate
|
Fri, 26 May 2000 11:18:06 +0200 |
paulson |
updated acknowledgements
|
file |
diff |
annotate
|
Mon, 08 May 2000 11:13:28 +0200 |
wenzelm |
improved indexing;
|
file |
diff |
annotate
|
Tue, 12 Oct 1999 19:05:27 +0200 |
wenzelm |
a4paper;
|
file |
diff |
annotate
|
Fri, 03 Sep 1999 16:11:03 +0200 |
wenzelm |
fixed usepackage;
|
file |
diff |
annotate
|
Tue, 03 Aug 1999 13:06:16 +0200 |
paulson |
new chapter on Sequents
|
file |
diff |
annotate
|
Mon, 10 May 1999 16:35:22 +0200 |
wenzelm |
pdf setup;
|
file |
diff |
annotate
|
Wed, 05 May 1999 18:19:03 +0200 |
wenzelm |
improved Makefile;
|
file |
diff |
annotate
|
Wed, 05 May 1999 16:44:42 +0200 |
paulson |
Now uses manual.bib; some references updated
|
file |
diff |
annotate
|
Tue, 04 May 1999 18:05:34 +0200 |
wenzelm |
HOL part moved to 'logics-HOL' manual;
|
file |
diff |
annotate
|
Fri, 08 Jan 1999 14:02:04 +0100 |
paulson |
removal of FOL, ZF to a separate manual
|
file |
diff |
annotate
|
Tue, 21 Jul 1998 16:41:12 +0200 |
wenzelm |
fixed isabelle logo;
|
file |
diff |
annotate
|
Tue, 21 Jul 1998 08:54:09 +0200 |
wenzelm |
fixed isabelle logo;
|
file |
diff |
annotate
|
Mon, 20 Jul 1998 19:06:39 +0200 |
wenzelm |
added pdfsetup and isabelle logo;
|
file |
diff |
annotate
|
Thu, 22 May 1997 10:49:33 +0200 |
nipkow |
Documented exhaust_tac.
|
file |
diff |
annotate
|
Wed, 07 May 1997 17:15:57 +0200 |
paulson |
New acknowledgements
|
file |
diff |
annotate
|
Fri, 02 May 1997 16:18:49 +0200 |
berghofe |
Updated to LaTeX 2e
|
file |
diff |
annotate
|
Mon, 21 Apr 1997 13:49:40 +0200 |
nipkow |
Modified credits.
|
file |
diff |
annotate
|
Thu, 17 Apr 1997 18:16:12 +0200 |
paulson |
Removed the \date{} command in order to put the date of typesetting on the
|
file |
diff |
annotate
|
Thu, 10 Apr 1997 18:07:27 +0200 |
paulson |
Updated discussion and references for inductive definitions
|
file |
diff |
annotate
|
Thu, 20 Feb 1997 15:26:38 +0100 |
wenzelm |
made a bit more robust for 'make dist';
|
file |
diff |
annotate
|
Thu, 10 Aug 1995 13:16:31 +0200 |
paulson |
Handle renaming of CHOL.tex to HOL.tex
|
file |
diff |
annotate
|
Tue, 25 Jul 1995 16:52:08 +0200 |
lcp |
now uses proof209.sty
|
file |
diff |
annotate
|
Tue, 09 May 1995 10:43:19 +0200 |
clasohm |
converted HOL.tex to CHOL.tex; replaced HOL.tex by CHOL.tex
|
file |
diff |
annotate
|
Tue, 24 Jan 1995 03:01:14 +0100 |
lcp |
\bibliography now includes crossref.bib
|
file |
diff |
annotate
|
Tue, 12 Jul 1994 12:49:15 +0200 |
nipkow |
Corrected HOL.tex
|
file |
diff |
annotate
|
Tue, 12 Jul 1994 09:14:04 +0200 |
nipkow |
included rail.sty
|
file |
diff |
annotate
|
Tue, 03 May 1994 10:52:32 +0200 |
lcp |
post-CRC corrections
|
file |
diff |
annotate
|
Fri, 15 Apr 1994 14:09:12 +0200 |
lcp |
penultimate Springer draft
|
file |
diff |
annotate
|
Mon, 21 Mar 1994 11:41:41 +0100 |
lcp |
first draft of Springer book
|
file |
diff |
annotate
|
Thu, 11 Nov 1993 13:18:49 +0100 |
lcp |
Various updates for Isabelle-93
|
file |
diff |
annotate
|
Wed, 10 Nov 1993 05:00:57 +0100 |
lcp |
Initial revision
|
file |
diff |
annotate
|