| Mon, 30 May 2011 15:30:05 +0100 |
paulson |
Workaround for hyperref bug affecting index entries involving the | symbol
|
file |
diff |
annotate
|
| Mon, 02 May 2011 22:31:46 +0200 |
wenzelm |
eliminated old CVS Ids;
|
file |
diff |
annotate
|
| Wed, 09 Jan 2002 13:43:05 +0100 |
paulson |
changed the index sort key from |-| to just |- because pdflatex can't cope
|
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, 03 Aug 1999 13:05:54 +0200 |
paulson |
\underscoreoff needed because of \underscoreon in previous file
|
file |
diff |
annotate
|
| Wed, 03 Feb 1999 13:23:24 +0100 |
paulson |
standard spelling: type-checking
|
file |
diff |
annotate
|
| Fri, 08 Jan 1999 14:02:04 +0100 |
paulson |
removal of FOL, ZF to a separate manual
|
file |
diff |
annotate
|
| Thu, 16 Jul 1998 11:50:01 +0200 |
paulson |
Got rid of obsolete "goal" commands.
|
file |
diff |
annotate
|
| Wed, 07 May 1997 18:35:56 +0200 |
wenzelm |
fixed caption font;
|
file |
diff |
annotate
|
| Wed, 07 May 1997 17:16:36 +0200 |
paulson |
stylistic improvements
|
file |
diff |
annotate
|
| Fri, 02 May 1997 16:18:49 +0200 |
berghofe |
Updated to LaTeX 2e
|
file |
diff |
annotate
|
| Tue, 28 Mar 1995 10:24:45 +0200 |
lcp |
Corrected faulty reference to Hindley-Milner type inference
|
file |
diff |
annotate
|
| Fri, 22 Apr 1994 18:43:49 +0200 |
lcp |
final Springer copy
|
file |
diff |
annotate
|
| Fri, 15 Apr 1994 12:54:22 +0200 |
lcp |
penultimate Springer draft
|
file |
diff |
annotate
|
| Sat, 19 Mar 1994 03:01:25 +0100 |
lcp |
First draft of Springer book
|
file |
diff |
annotate
|
| Thu, 25 Nov 1993 15:15:53 +0100 |
wenzelm |
corrected obvious errors;
|
file |
diff |
annotate
|
| Fri, 12 Nov 1993 10:41:13 +0100 |
lcp |
Misc updates
|
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
|