===================================================================
RCS file: /home/cvs/OpenXM_contrib/gmp/Attic/version.texi,v
retrieving revision 1.1.1.1
retrieving revision 1.1.1.2
diff -u -p -r1.1.1.1 -r1.1.1.2
--- OpenXM_contrib/gmp/Attic/version.texi	2000/09/09 14:12:15	1.1.1.1
+++ OpenXM_contrib/gmp/Attic/version.texi	2000/12/01 05:44:44	1.1.1.2
@@ -1,3 +1,3 @@
-@set UPDATED 3 August 2000
-@set EDITION 3.1
-@set VERSION 3.1
+@set UPDATED 5 October 2000
+@set EDITION 3.1.1
+@set VERSION 3.1.1