mattam82
diff --git a/‎doc/equations.pdf
-78 Bytes b/‎doc/equations.pdf
-78 Bytes
diff --git a/‎doc/equations.tex
Lines changed: 1 addition & 1 deletion b/‎doc/equations.tex
Lines changed: 1 addition & 1 deletion
@@ -21,7 +21,7 @@
 
 \setlength{\coqdocbaseindent}{1em}
 
-\def\eqnversion{\texttt{1.3beta2}\xspace}
+\def\eqnversion{\texttt{1.3}\xspace}
 
 \author{Matthieu Sozeau}
 \date{\today}