diff options
Diffstat (limited to 'doc/macros.tex')
| -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 9841699ef..f5cfc6193 100755 --- a/doc/macros.tex +++ b/doc/macros.tex @@ -2,7 +2,7 @@ % MACROS FOR THE REFERENCE MANUAL OF COQ % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\newcommand{\coqversion}{7.1} +\newcommand{\coqversion}{7.2} % For commentaries (define \com as {} for the release manual) %\newcommand{\com}[1]{{\it(* #1 *)}} |