version 1.2-proof-3

diff --git a/Doc/boilerplate.tex b/Doc/boilerplate.tex
index 555e7628fd5316da2aabb66469348a688b2f94e8..89500c342b088fe01ed53ca8424aa07f43897e55 100644 (file)
--- a/Doc/boilerplate.tex
+++ b/Doc/boilerplate.tex
@@ -5,4 +5,4 @@
        E-mail: {\tt guido@cwi.nl}
 }
 
-\date{17 March 1995 \\ Release 1.2-proof-2} % XXX update before release!
+\date{28 March 1995 \\ Release 1.2-proof-3} % XXX update before release!

diff --git a/Doc/texinputs/boilerplate.tex b/Doc/texinputs/boilerplate.tex
index 555e7628fd5316da2aabb66469348a688b2f94e8..89500c342b088fe01ed53ca8424aa07f43897e55 100644 (file)
--- a/Doc/texinputs/boilerplate.tex
+++ b/Doc/texinputs/boilerplate.tex
@@ -5,4 +5,4 @@
        E-mail: {\tt guido@cwi.nl}
 }
 
-\date{17 March 1995 \\ Release 1.2-proof-2} % XXX update before release!
+\date{28 March 1995 \\ Release 1.2-proof-3} % XXX update before release!