diff options
| author | herbelin | 2001-09-25 12:00:11 +0000 |
|---|---|---|
| committer | herbelin | 2001-09-25 12:00:11 +0000 |
| commit | c39bf2efb9eba7b0b78b777c5afdf0be0e6a821e (patch) | |
| tree | 612cc8d0f1a55cf6e95c6641b28a59b636bf2ca0 /doc/cover.html | |
| parent | c827822486f096111a460f7616540a00745f6dd8 (diff) | |
MAJ V7.1
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8230 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/cover.html')
| -rw-r--r-- | doc/cover.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/cover.html b/doc/cover.html index cb87ed106d..2391dbeaf0 100644 --- a/doc/cover.html +++ b/doc/cover.html @@ -25,7 +25,7 @@ The Coq Proof Assistant<BR><BR> <BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR> <DIV ALIGN=left> -<FONT SIZE=4>V7.0, +<FONT SIZE=4>V7.1, </FONT><BR><FONT SIZE=4>ŠINRIA 1999-2001</FONT><BR></DIV> <BR> @@ -36,4 +36,4 @@ The Coq Proof Assistant<BR><BR> </HTML></BODY> -</HTML>
\ No newline at end of file +</HTML> |