diff --git a/Doc/ext.tex b/Doc/ext.tex
index f89f436..18c8015 100644
--- a/Doc/ext.tex
+++ b/Doc/ext.tex
@@ -9,6 +9,8 @@
 	E-mail: {\tt guido@cwi.nl}
 }
 
+\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release!
+
 % Tell \index to actually write the .idx file
 \makeindex
 
diff --git a/Doc/ext/ext.tex b/Doc/ext/ext.tex
index f89f436..18c8015 100644
--- a/Doc/ext/ext.tex
+++ b/Doc/ext/ext.tex
@@ -9,6 +9,8 @@
 	E-mail: {\tt guido@cwi.nl}
 }
 
+\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release!
+
 % Tell \index to actually write the .idx file
 \makeindex
 
diff --git a/Doc/lib.tex b/Doc/lib.tex
index 86784da..e7ef71e 100644
--- a/Doc/lib.tex
+++ b/Doc/lib.tex
@@ -12,6 +12,8 @@
 	E-mail: {\tt guido@cwi.nl}
 }
 
+\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release!
+
 % Tell \index to actually write the .idx file
 \makeindex
 
diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex
index 86784da..e7ef71e 100644
--- a/Doc/lib/lib.tex
+++ b/Doc/lib/lib.tex
@@ -12,6 +12,8 @@
 	E-mail: {\tt guido@cwi.nl}
 }
 
+\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release!
+
 % Tell \index to actually write the .idx file
 \makeindex
 
diff --git a/Doc/ref.tex b/Doc/ref.tex
index 7f679d6..f0cb559 100644
--- a/Doc/ref.tex
+++ b/Doc/ref.tex
@@ -9,6 +9,8 @@
 	E-mail: {\tt guido@cwi.nl}
 }
 
+\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release!
+
 % Tell \index to actually write the .idx file
 \makeindex
 
diff --git a/Doc/ref/ref.tex b/Doc/ref/ref.tex
index 7f679d6..f0cb559 100644
--- a/Doc/ref/ref.tex
+++ b/Doc/ref/ref.tex
@@ -9,6 +9,8 @@
 	E-mail: {\tt guido@cwi.nl}
 }
 
+\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release!
+
 % Tell \index to actually write the .idx file
 \makeindex
 
diff --git a/Doc/tut.tex b/Doc/tut.tex
index 42a01a1..6fb209f 100644
--- a/Doc/tut.tex
+++ b/Doc/tut.tex
@@ -11,6 +11,8 @@
 	E-mail: {\tt guido@cwi.nl}
 }
 
+\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release!
+
 \begin{document}
 
 \pagenumbering{roman}
diff --git a/Doc/tut/tut.tex b/Doc/tut/tut.tex
index 42a01a1..6fb209f 100644
--- a/Doc/tut/tut.tex
+++ b/Doc/tut/tut.tex
@@ -11,6 +11,8 @@
 	E-mail: {\tt guido@cwi.nl}
 }
 
+\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release!
+
 \begin{document}
 
 \pagenumbering{roman}