Update doc for 1.3 final release

mattam82 · Sep 23, 2021 · 68c6907 · 68c6907
1 parent e2ec8ff
commit 68c6907
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/doc/equations.pdf b/doc/equations.pdf
diff --git a/doc/equations.tex b/doc/equations.tex
@@ -21,7 +21,7 @@
 
 \setlength{\coqdocbaseindent}{1em}
 
-\def\eqnversion{\texttt{1.3beta2}\xspace}
+\def\eqnversion{\texttt{1.3}\xspace}
 
 \author{Matthieu Sozeau}
 \date{\today}