From c1466b54d098e4e410aefacd6317bf8fa40bb63c Mon Sep 17 00:00:00 2001
From: mohring
Date: Tue, 6 Jan 2004 16:52:44 +0000
Subject: doc avec frames
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8469 85f007b7-540e-0410-9357-904b9bb8a0f7
---
doc/cover.html | 12 +++---------
1 file changed, 3 insertions(+), 9 deletions(-)
(limited to 'doc/cover.html')
diff --git a/doc/cover.html b/doc/cover.html
index 56063de895..792f1129be 100644
--- a/doc/cover.html
+++ b/doc/cover.html
@@ -1,17 +1,11 @@
-
Cover Page
-
-
-
-
-
@@ -20,7 +14,7 @@ The Coq Proof Assistant
Reference Manual
Version 8.0
-1
+1
The Coq Development Team
LogiCal Project
@@ -30,8 +24,8 @@ The Coq Proof Assistant
ŠINRIA 1999-2003
-
-
+
- 1
- This research was partly supported by IST working group ``Types''
+
--
cgit v1.2.3