diff options
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/macros.tex | 2 |
1 files changed, 1 insertions, 1 deletions
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 *)}} |