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/main.html | 13 +++++++++++++
1 file changed, 13 insertions(+)
create mode 100644 doc/main.html
(limited to 'doc/main.html')
diff --git a/doc/main.html b/doc/main.html
new file mode 100644
index 0000000000..1b5898298c
--- /dev/null
+++ b/doc/main.html
@@ -0,0 +1,13 @@
+
+
+
+
+The Coq Proof Assistant Reference Manual
+
+
+
+
+
+
\ No newline at end of file
--
cgit v1.2.3