From a86210328ffa5aed69546e4c64ce02520bf2bf13 Mon Sep 17 00:00:00 2001 From: notin Date: Tue, 13 Jun 2006 14:22:19 +0000 Subject: Changement du index.html généré dans refman git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8953 85f007b7-540e-0410-9357-904b9bb8a0f7 --- doc/refman/index.html | 31 ++++++++----------------------- 1 file changed, 8 insertions(+), 23 deletions(-) (limited to 'doc/refman/index.html') diff --git a/doc/refman/index.html b/doc/refman/index.html index db19678f3c..9b5250abcb 100644 --- a/doc/refman/index.html +++ b/doc/refman/index.html @@ -1,29 +1,14 @@ - + -
+The Coq Proof Assistant Reference Manual - - - - - - - - - -
Cover page
Table of contents
-Bibliography
-Global Index -
-Tactics Index -
-Vernacular Commands Index -
-Index of Error Messages -
+ -
+ + + + - \ No newline at end of file + \ No newline at end of file -- cgit v1.2.3