diff --git a/Doc/boilerplate.tex b/Doc/boilerplate.tex
index 068e827..7cc2c98 100644
--- a/Doc/boilerplate.tex
+++ b/Doc/boilerplate.tex
@@ -5,4 +5,4 @@
 	E-mail: {\tt guido@cwi.nl}
 }
 
-\date{10 April 1995 \\ Release 1.2} % XXX update before release!
+\date{13 October 1995 \\ Release 1.3} % XXX update before release!
diff --git a/Doc/texinputs/boilerplate.tex b/Doc/texinputs/boilerplate.tex
index 068e827..7cc2c98 100644
--- a/Doc/texinputs/boilerplate.tex
+++ b/Doc/texinputs/boilerplate.tex
@@ -5,4 +5,4 @@
 	E-mail: {\tt guido@cwi.nl}
 }
 
-\date{10 April 1995 \\ Release 1.2} % XXX update before release!
+\date{13 October 1995 \\ Release 1.3} % XXX update before release!