| Wed, 09 Jan 2002 13:43:05 +0100 |
changed the index sort key from |-| to just |- because pdflatex can't cope
|
file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file | diff | annotate |
| Tue, 03 Aug 1999 13:05:54 +0200 |
\underscoreoff needed because of \underscoreon in previous file
|
file | diff | annotate |
| Wed, 03 Feb 1999 13:23:24 +0100 |
standard spelling: type-checking
|
file | diff | annotate |
| Fri, 08 Jan 1999 14:02:04 +0100 |
removal of FOL, ZF to a separate manual
|
file | diff | annotate |
| Thu, 16 Jul 1998 11:50:01 +0200 |
Got rid of obsolete "goal" commands.
|
file | diff | annotate |
| Wed, 07 May 1997 18:35:56 +0200 |
fixed caption font;
|
file | diff | annotate |
| Wed, 07 May 1997 17:16:36 +0200 |
stylistic improvements
|
file | diff | annotate |
| Fri, 02 May 1997 16:18:49 +0200 |
Updated to LaTeX 2e
|
file | diff | annotate |
| Tue, 28 Mar 1995 10:24:45 +0200 |
Corrected faulty reference to Hindley-Milner type inference
|
file | diff | annotate |
| Fri, 22 Apr 1994 18:43:49 +0200 |
final Springer copy
|
file | diff | annotate |
| Fri, 15 Apr 1994 12:54:22 +0200 |
penultimate Springer draft
|
file | diff | annotate |
| Sat, 19 Mar 1994 03:01:25 +0100 |
First draft of Springer book
|
file | diff | annotate |
| Thu, 25 Nov 1993 15:15:53 +0100 |
corrected obvious errors;
|
file | diff | annotate |
| Fri, 12 Nov 1993 10:41:13 +0100 |
Misc updates
|
file | diff | annotate |
| Thu, 11 Nov 1993 13:18:49 +0100 |
Various updates for Isabelle-93
|
file | diff | annotate |
| Wed, 10 Nov 1993 05:00:57 +0100 |
Initial revision
|
file | diff | annotate |