* {lib,ref,ext,tut}.tex: added explicit \date{<date> \\ <release>}.

* lib2.tex: change bogus \\var to \var.

diff --git a/Doc/ext.tex b/Doc/ext.tex
index f89f436818abddcda7eff1591fa73bc1b20d359a..18c801527fa541b5bed99c062cdbc44d5baaeac3 100644 (file)
--- a/Doc/ext.tex
+++ b/Doc/ext.tex
@@ -9,6 +9,8 @@
        E-mail: {\tt guido@cwi.nl}
 }
 
+\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release!
+
 % Tell \index to actually write the .idx file
 \makeindex
 

diff --git a/Doc/ext/ext.tex b/Doc/ext/ext.tex
index f89f436818abddcda7eff1591fa73bc1b20d359a..18c801527fa541b5bed99c062cdbc44d5baaeac3 100644 (file)
--- a/Doc/ext/ext.tex
+++ b/Doc/ext/ext.tex
@@ -9,6 +9,8 @@
        E-mail: {\tt guido@cwi.nl}
 }
 
+\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release!
+
 % Tell \index to actually write the .idx file
 \makeindex
 

diff --git a/Doc/lib.tex b/Doc/lib.tex
index 86784da9fdca9a90fe496736ee14a2cd325d19d1..e7ef71ea4a7175eb69bc3c45ce8e436574693fae 100644 (file)
--- a/Doc/lib.tex
+++ b/Doc/lib.tex
@@ -12,6 +12,8 @@
        E-mail: {\tt guido@cwi.nl}
 }
 
+\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release!
+
 % Tell \index to actually write the .idx file
 \makeindex
 

diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex
index 86784da9fdca9a90fe496736ee14a2cd325d19d1..e7ef71ea4a7175eb69bc3c45ce8e436574693fae 100644 (file)
--- a/Doc/lib/lib.tex
+++ b/Doc/lib/lib.tex
@@ -12,6 +12,8 @@
        E-mail: {\tt guido@cwi.nl}
 }
 
+\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release!
+
 % Tell \index to actually write the .idx file
 \makeindex
 

diff --git a/Doc/ref.tex b/Doc/ref.tex
index 7f679d6a48495b6f1ea5b0c085f8147d56a96d58..f0cb559f19c6ea7b5a66657888c203ba50b0875d 100644 (file)
--- a/Doc/ref.tex
+++ b/Doc/ref.tex
@@ -9,6 +9,8 @@
        E-mail: {\tt guido@cwi.nl}
 }
 
+\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release!
+
 % Tell \index to actually write the .idx file
 \makeindex
 

diff --git a/Doc/ref/ref.tex b/Doc/ref/ref.tex
index 7f679d6a48495b6f1ea5b0c085f8147d56a96d58..f0cb559f19c6ea7b5a66657888c203ba50b0875d 100644 (file)
--- a/Doc/ref/ref.tex
+++ b/Doc/ref/ref.tex
@@ -9,6 +9,8 @@
        E-mail: {\tt guido@cwi.nl}
 }
 
+\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release!
+
 % Tell \index to actually write the .idx file
 \makeindex
 

diff --git a/Doc/tut.tex b/Doc/tut.tex
index 42a01a1d7ac54e5a234c6d60a80bb38a0d14854d..6fb209f9f7ad464a4442e79a55d207a61ca7d637 100644 (file)
--- a/Doc/tut.tex
+++ b/Doc/tut.tex
@@ -11,6 +11,8 @@
        E-mail: {\tt guido@cwi.nl}
 }
 
+\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release!
+
 \begin{document}
 
 \pagenumbering{roman}

diff --git a/Doc/tut/tut.tex b/Doc/tut/tut.tex
index 42a01a1d7ac54e5a234c6d60a80bb38a0d14854d..6fb209f9f7ad464a4442e79a55d207a61ca7d637 100644 (file)
--- a/Doc/tut/tut.tex
+++ b/Doc/tut/tut.tex
@@ -11,6 +11,8 @@
        E-mail: {\tt guido@cwi.nl}
 }
 
+\date{19 November 1993 \\ Release 0.9.9.++} % XXX update before release!
+
 \begin{document}
 
 \pagenumbering{roman}