From 59bd2bb2d4dcd98a02eeee0e9e91a88185662958 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 2 Oct 2001 15:05:10 +0000
Subject: MAJ V7.1

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8242 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/macros.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/macros.tex')

diff --git a/doc/macros.tex b/doc/macros.tex
index 612c6f6926..fc3ff7c531 100755
--- a/doc/macros.tex
+++ b/doc/macros.tex
@@ -2,7 +2,7 @@
 % MACROS FOR THE REFERENCE MANUAL OF COQ %
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-\newcommand{\coqversion}{7.0}
+\newcommand{\coqversion}{7.1}
 
 % For commentaries (define \com as {} for the release manual)
 %\newcommand{\com}[1]{{\it(* #1 *)}}
-- 
cgit v1.2.3

