diff options
Diffstat (limited to 'Doc/ref.tex')
-rw-r--r-- | Doc/ref.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/ref.tex b/Doc/ref.tex index 11a5d08..9fb37b6 100644 --- a/Doc/ref.tex +++ b/Doc/ref.tex @@ -9,7 +9,7 @@ E-mail: {\tt guido@cwi.nl} } -\date{14 Jul 1994 \\ Release 1.0.3} % XXX update before release! +\date{14 July 1994 \\ Release 1.0.3} % XXX update before release! % Tell \index to actually write the .idx file \makeindex |