change date to 11 oct

diff --git a/Doc/boilerplate.tex b/Doc/boilerplate.tex
index f8fc959a77125ef0b37fe763f0a859031c3bc4d7..7bf88ab08aab3d785f901e4f4649024d5aad778d 100644 (file)
--- a/Doc/boilerplate.tex
+++ b/Doc/boilerplate.tex
@@ -5,4 +5,4 @@
        E-mail: {\tt guido@cwi.nl}
 }
 
-\date{6 Oct 1994 \\ Release 1.1} % XXX update before release!
+\date{11 Oct 1994 \\ Release 1.1} % XXX update before release!

diff --git a/Doc/texinputs/boilerplate.tex b/Doc/texinputs/boilerplate.tex
index f8fc959a77125ef0b37fe763f0a859031c3bc4d7..7bf88ab08aab3d785f901e4f4649024d5aad778d 100644 (file)
--- a/Doc/texinputs/boilerplate.tex
+++ b/Doc/texinputs/boilerplate.tex
@@ -5,4 +5,4 @@
        E-mail: {\tt guido@cwi.nl}
 }
 
-\date{6 Oct 1994 \\ Release 1.1} % XXX update before release!
+\date{11 Oct 1994 \\ Release 1.1} % XXX update before release!