From 3fcf35360d68a24d77d7c3ddf24984ab41ced572 Mon Sep 17 00:00:00 2001 From: notin Date: Wed, 11 Feb 2009 14:39:11 +0000 Subject: Modification du style du manuel de référence (cherry picked from commit b44a87556b68c08b7cd2fcbdaf2b4067b8a77427) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11916 85f007b7-540e-0410-9357-904b9bb8a0f7 --- doc/common/styles/html/simple/cover.html | 79 ++++++++++++++++++++++++++++++++ 1 file changed, 79 insertions(+) create mode 100644 doc/common/styles/html/simple/cover.html (limited to 'doc/common/styles/html/simple/cover.html') diff --git a/doc/common/styles/html/simple/cover.html b/doc/common/styles/html/simple/cover.html new file mode 100644 index 0000000000..75b938f9b5 --- /dev/null +++ b/doc/common/styles/html/simple/cover.html @@ -0,0 +1,79 @@ + + + + + + +Reference Manual | The Coq Proof Assistant + + + + + + + + +
+ + +
+ +



+
+

Reference Manual

+ +

+ Version 8.21

+ +





+

The Coq Development Team

+





+ + +
+
    +
  • V7.x © INRIA 1999-2004
    • +
  • V8.0 © INRIA 2004-2006
    • +
  • V8.1 © INRIA 2006-2008
    • +
  • V8.2 © INRIA 2008-2009
    • +
+ +

This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at http://www.opencontent.org/openpub). Options A and B are not elected.

+
+
+ +
+
+
+
1
+
This research was partly supported by IST working group ``Types''
+
+
+ +
+ +
+ + + + +
+ + + + -- cgit v1.2.3