Changement de numéro de version pour la 8.3-rc1

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

configure

@@ -6,7 +6,7 @@
 # 
 ##################################
 
-VERSION=8.3-bugfix
+VERSION=8.3-rc1
 VOMAGIC=08300
 STATEMAGIC=58300
 DATE=`LANG=C date +"%B %Y"`
@@ -1114,4 +1114,4 @@ echo
 echo "*Warning* To compile the system for a new architecture"
 echo "          don't forget to do a 'make archclean' before './configure'."
 
-# $Id: configure 12689 2010-01-26 13:41:56Z glondu $
+# $Id$