diff options
| -rw-r--r-- | Doc/boilerplate.tex | 2 | ||||
| -rw-r--r-- | Doc/texinputs/boilerplate.tex | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Doc/boilerplate.tex b/Doc/boilerplate.tex index 555e762..89500c3 100644 --- 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 555e762..89500c3 100644 --- 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! |