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

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

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
 

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
 

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
 

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
 

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
 

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
 

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}

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}