Release de la 8.1V8.1

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/tags/V8.1@9637 85f007b7-540e-0410-9357-904b9bb8a0f7

2 files changed, 2 insertions, 2 deletions

diff --git a/configure b/configure
index e94899d..020acde 100755
--- a/configure
+++ b/configure
@@ -6,7 +6,7 @@
 # 
 ##################################
 
-VERSION=v8.1
+VERSION=8.1
 DATE="Feb. 2007"
 
 # a local which command for sh
diff --git a/library/library.ml b/library/library.ml
index d3688c1..e5f8c7c 100644
--- a/library/library.ml
+++ b/library/library.ml
@@ -300,7 +300,7 @@ let (in_import, out_import) =
 
 (*s Loading from disk to cache (preparation phase) *)
 
-let vo_magic_number = 080992 (* V8.1 beta2 *)
+let vo_magic_number = 080100 (* V8.1 *)
 
 let (raw_extern_library, raw_intern_library) =
   System.raw_extern_intern vo_magic_number ".vo"