diff options
| -rwxr-xr-x | doc/RefMan-pre.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/RefMan-pre.tex b/doc/RefMan-pre.tex index 379b72b38e..cba07eb7f5 100755 --- a/doc/RefMan-pre.tex +++ b/doc/RefMan-pre.tex @@ -315,7 +315,7 @@ Christine Paulin The version V7 is a new implementation started in September 1999 by Jean-Christophe Filliātre. This is a major revision with respect to -the internal architecture of the system. The \coq{} version 7.0 was +the internal architecture of the system. The \Coq{} version 7.0 was distributed in march 2001, version 7.1 in september 2001 and version 7.2 in january 2002. |