doc-src/Intro/foundations.tex
Mon, 28 Aug 2000 13:52:38 +0200 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
Wed, 05 May 1999 16:44:42 +0200 paulson Now uses manual.bib; some references updated
Wed, 03 Feb 1999 13:23:24 +0100 paulson standard spelling: type-checking
Wed, 02 Jul 1997 16:46:36 +0200 paulson Now there are TWO spaces after each full stop, so that the Emacs sentence
Mon, 05 May 1997 18:50:26 +0200 wenzelm tuned;
Mon, 05 May 1997 13:24:11 +0200 wenzelm misc updates, tuning, cleanup;
Mon, 22 Jul 1996 16:16:51 +0200 paulson Updated BibTeX identifiers
Tue, 16 Jul 1996 15:45:36 +0200 paulson Fixed typo regarding lifting over P|P
Fri, 22 Apr 1994 18:08:57 +0200 lcp final Springer copy
Fri, 15 Apr 1994 12:13:37 +0200 lcp penultimate Springer draft
Thu, 24 Mar 1994 13:25:12 +0100 lcp revisions to first Springer draft
Wed, 10 Nov 1993 05:06:55 +0100 lcp Initial revision
less more (0) tip