From de0085539583f59dc7c4bf4e272e18711d565466 Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Thu, 13 Jul 2006 14:28:31 +0000 Subject: Imported Upstream version 8.0pl3+8.1beta.2 --- 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 db19678f..9b5250ab 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