Backport from v8.2 branch of 11986 (interpretation of quantified

hypotheses in induction, unbalanced parenthesis in ltac call stack
printer) and 12003 (late update of CREDITS) + update of magic numbers
(using a somehow arbitrary value between the 8.2 magic numbers and the
possibly forthcoming 8.3 magic numbers).



git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12007 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 2 deletions

diff --git a/configure b/configure
index 1e9dc472f..7b39eb422 100755
--- a/configure
+++ b/configure
@@ -7,8 +7,8 @@
 ##################################
 
 VERSION=trunk
-VOMAGIC=08193 
-STATEMAGIC=19764
+VOMAGIC=08211
+STATEMAGIC=58211
 DATE=`LANG=C date +"%B %Y"`
 
 # Create the bin/ directory if non-existent