From c0f93c94fb8f0464bf90acb9a1dfefbbfb9c4bb1 Mon Sep 17 00:00:00 2001
From: desmettr
Date: Tue, 18 Sep 2001 12:43:35 +0000
Subject: Ajout de la page de garde
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8219 85f007b7-540e-0410-9357-904b9bb8a0f7
---
doc/cover.html | 39 +++++++++++++++++++++++++++++++++++++++
1 file changed, 39 insertions(+)
create mode 100644 doc/cover.html
diff --git a/doc/cover.html b/doc/cover.html
new file mode 100644
index 0000000000..cb87ed106d
--- /dev/null
+++ b/doc/cover.html
@@ -0,0 +1,39 @@
+
+
+
+
+Cover Page
+
+
+
+
+
+
+
+
+
+
+
+
+The Coq Proof Assistant
+ Reference Manual
+
+
Version 7.0
+1
+The Coq Development Team
Coq Development Project
+
+
+
+
+V7.0,
+
ŠINRIA 1999-2001
+
+
+
+
+
+
+
+
+
+