
diff -r 83acab8042ad -r c92e38c3cbaa doc-src/TutorialI/preface.tex
--- a/doc-src/TutorialI/preface.tex	Thu Dec 13 16:48:07 2001 +0100
+++ b/doc-src/TutorialI/preface.tex	Thu Dec 13 16:48:34 2001 +0100
@@ -36,4 +36,3 @@
 GR\slash K77051, GR\slash M75440, GR\slash R01156\slash 01 and by the
 \textsc{esprit} working groups 21900 and IST-1999-29001 (the \emph{Types}
 project).
-




