diff options
| author | herbelin | 2002-01-14 13:04:26 +0000 |
|---|---|---|
| committer | herbelin | 2002-01-14 13:04:26 +0000 |
| commit | 401761de56366435b6cb0c468d39b99fc6625372 (patch) | |
| tree | ec3d1ba1da958a7fe41035265c48b063f94c0db0 /doc | |
| parent | e7630ca05b72ea218e278eac2a55d14299e60f4b (diff) | |
Typo
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8269 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc')
| -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. |