diff options
Diffstat (limited to 'doc/Anomalies.tex')
| -rwxr-xr-x | doc/Anomalies.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Anomalies.tex b/doc/Anomalies.tex index 8e23fa602..a21577db0 100755 --- a/doc/Anomalies.tex +++ b/doc/Anomalies.tex @@ -2,7 +2,7 @@ \input{./title} -\title{Known bugs of {\sf Coq} V6.2} +\title{Known bugs of \Coq{} V6.2} \author{\ } \begin{document} \maketitle |