diff options
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 cb87ed106..2391dbeaf 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> |