diff options
| author |  Stephane Glondu <steph@glondu.net> | 2010-10-14 17:51:11 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2010-10-14 17:51:11 +0200 |
| commit | 3e96002677226c0cdaa8f355938a76cfb37a722a (patch) | |
| tree | 3ca96e142fdb68e464d2f5f403f315282b94f922 /doc/common/styles/html/simple/cover.html | |
| parent | f18e6146f4fd6ed5b8ded10a3e602f5f64f919f4 (diff) | |
Imported Upstream version 8.3upstream/8.3
Diffstat (limited to 'doc/common/styles/html/simple/cover.html')
| -rw-r--r-- | doc/common/styles/html/simple/cover.html | 77 |
1 files changed, 77 insertions, 0 deletions
diff --git a/doc/common/styles/html/simple/cover.html b/doc/common/styles/html/simple/cover.html new file mode 100644 index 00000000..b377396d --- /dev/null +++ b/doc/common/styles/html/simple/cover.html @@ -0,0 +1,77 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" + "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"> + +<head> + +<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"/> +<title>Reference Manual | The Coq Proof Assistant</title> + +<link rel="stylesheet" type="text/css" href="style.css"/> +<link rel="stylesheet" type="text/css" href="coqdoc.css"/> + +</head> + +<body> + +<div id="container"> +<div id="header"> +</div> + +<div id="content"> + +<br/><br/><br/><br/> +<div style="text-align:center"> +<h1 style="font-weight:bold; font-size: 300%; line-height: 2ex">Reference Manual</h1> + +<h2 style="font-size: 120%"> + Version 8.3<a name="text1"></a><a href="#note1"><sup><span style="font-size: 80%">1</span></sup></a></h2> + +<br/><br/><br/><br/><br/><br/> +<p><span style="text-align: center; font-size: 120%; ">The Coq Development Team</span></p> +<br/><br/><br/><br/><br/><br/> + + +<div style="text-align: left; font-size: 80%; text-indent: 0pt"> +<ul style="list-style: none; margin-left: 0pt"> + <li>V7.x © INRIA 1999-2004</li> + <li>V8.x © INRIA 2004-2010</li> +</ul> + +<p style="text-indent: 0pt">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 <a href="http://www.opencontent.org/openpub">http://www.opencontent.org/openpub</a>). Options A and B are not elected.</p> +</div> +<br/> + +<hr/> +<div style="text-align: left; font-size: 80%; text-indent: 0pt"> +<dl> + <dt><a name="note1" href="toc.html#text1">1</a></dt> + <dd>This research was partly supported by IST working group ``Types''</dd> +</dl> +</div> + +</div> + +</div> + + +<div id="footer"> + +<div class="content"> +<ul class="menu"> + <li><a href="index.html">Cover</a></li> + <li><a href="toc.html">Table of contents</a></li> + <li><a href="general-index.html">General index</a></li> + <li><a href="command-index.html">Commands index</a></li> + <li><a href="tactic-index.html">Tactics index</a></li> + <li><a href="error-index.html">Errors index</a></li> +</ul> +</div> + +</div> + +</div> + +</body> + +</html> |