Imported Upstream version 8.4~betaupstream/8.4_beta

2 files changed, 269 insertions, 0 deletions

diff --git a/dev/ocamldoc/docintro b/dev/ocamldoc/docintro
new file mode 100644
index 00000000..33d20fc8
--- /dev/null
+++ b/dev/ocamldoc/docintro
@@ -0,0 +1,49 @@
+{!indexlist}
+
+This is Coq, a proof assistant for the Calculus of Inductive Constructions.
+This document describes the implementation of Coq.
+It has been automatically generated from the source of
+Coq using {{:http://caml.inria.fr/}ocamldoc}.
+The source files are organized in several directories ordered like that:
+
+{ol {- Utility libraries : lib
+
+describes the various utility libraries used in the code
+of Coq.}
+{- Kernel : kernel
+
+describes the Coq kernel, which is a type checker for the Calculus
+of Inductive Constructions.}
+{- Library : library
+
+describes the Coq library, which is made of two parts:
+- a general mechanism to keep a trace of all operations and of
+    the state of the system, with backtrack capabilities;
+- a global environment for the CCI, with functions to export and 
+    import compiled modules.
+
+}
+{- Pretyping : pretyping
+
+}
+{- Front abstract syntax of terms : interp
+
+describes the translation from Coq context-dependent
+front abstract syntax of terms {v constr_expr v} to and from the
+context-free, untyped, globalized form of constructions {v glob_constr v}.}
+{- Parsers and printers : parsing
+
+describes the implementation of the Coq parsers and printers.}
+{- Proof engine : proofs
+
+describes the Coq proof engine, which is also called
+the ``refiner'', since it provides a way to build terms by successive
+refining steps. Those steps are either primitive rules or higher-level
+tactics.}
+{- Tacticts : tactics
+
+describes the Coq main tactics.}
+{- Toplevel : toplevel
+
+describes the highest modules of the Coq system.}
+}
diff --git a/dev/ocamldoc/html/style.css b/dev/ocamldoc/html/style.css
new file mode 100644
index 00000000..c2c45b62
--- /dev/null
+++ b/dev/ocamldoc/html/style.css
@@ -0,0 +1,220 @@
+a:visited {

+  color: #416DFF; text-decoration: none; 

+}

+

+a:link {

+  color: #416DFF; text-decoration: none;

+}

+

+a:hover {

+  color: Red; text-decoration: none; background-color: #5FFF88

+}

+

+a:active {

+  color: Red; text-decoration: underline; 

+}

+

+.keyword {

+  font-weight: bold; color: Red 

+}

+

+.keywordsign {

+  color: #C04600 

+}

+

+.superscript {

+  font-size: 8 

+}

+

+.subscript {

+  font-size: 8 

+}

+

+.comment {

+  color: Green 

+}

+

+.constructor {

+  color: Blue 

+}

+

+.type {

+  color: #5C6585 

+}

+

+.string {

+  color: Maroon 

+}

+

+.warning {

+  color: Red; font-weight: bold 

+}

+

+.info {

+  margin-left: 3em; margin-right: 3em 

+}

+

+.param_info {

+  margin-top: 4px; margin-left: 3em; margin-right: 3em 

+}

+

+.code {

+  color: #465F91; 

+}

+

+h1 {

+  font-size: 20pt; text-align: center; 

+}

+

+h5, h6, div.h7, div.h8, div.h9 {

+  font-size: 20pt;

+  border: 1px solid #000000;

+  margin-top: 5px;

+  margin-bottom: 2px;

+  text-align: center;

+  padding: 2px;

+}

+

+h5 {

+  background-color: #90FDFF;

+}

+

+h6 {

+  background-color: #016699;

+  color: white;

+}

+

+div.h7 {

+  background-color: #E0FFFF;

+}

+

+div.h8 {

+  background-color: #F0FFFF;

+}

+

+div.h9 {

+  background-color: #FFFFFF;

+}

+

+.typetable, .indextable, .paramstable {

+  border-style: hidden;

+}

+

+.paramstable {

+  padding: 5pt 5pt;

+}

+

+body {

+  background-color: white;

+}

+

+tr {

+  background-color: white;

+}

+

+td.typefieldcomment {

+  background-color: #FFFFFF;

+  font-size: smaller;

+}

+

+pre {

+  margin-bottom: 4px;

+}

+

+div.sig_block {

+  margin-left: 2em;

+}

+

+

+h2 {

+  font-family: Arial, Helvetica, sans-serif;

+  font-size: 16pt;

+  font-weight: normal;

+  border-bottom: 1px solid #dadada;

+  border-top: 1px solid #dadada;

+  color: #101010;

+  background: #eeeeff;

+  margin: 25px 0px 10px 0px;

+  padding: 1px 1px 1px 1px;

+}

+

+h3 {

+  font-family: Arial, Helvetica, sans-serif;

+  font-size: 12pt;

+  color: #016699;

+  font-weight: bold;

+  padding: 15px 0 0 0ex;

+  margin: 5px 0 0 0;

+}

+

+h4 {

+  font-family: Arial, Helvetica, sans-serif;

+  font-size: 10pt;

+  color: #016699;

+  padding: 15px 0 0 0ex;

+  margin: 5px 0 0 0;

+}

+

+/* Here starts the overwrite of default rules to give a better look */

+

+body {

+  font-family: Calibri, Georgia, Garamond, Baskerville, serif;

+  font-size: 12pt;

+  background-color: white;

+}

+

+a:link, a {

+  color: #6895c3 !important;

+}

+

+a:hover {

+  color: #2F4459 !important;

+  background-color: white;

+}

+

+hr {

+  height: 1px;

+  color: #016699;

+  background-color: #016699;

+  border-width: 0;

+}

+

+h1, h1 a:link, h1 a:visited, h1 a {

+  font-family: Cambria, Georgia, Garamond, Baskerville, serif;

+  color: #016699;

+}

+

+.navbar {

+  float: left;

+}

+

+.navbar a, .navbar a:link, .navbar a:visited {

+  color: #016699;

+  font-family: Arial, Helvetica, sans-serif;

+  font-weight: bold;

+  font-size: 80%;

+}

+

+.keyword {

+  color: #c13939;

+}

+

+.constructor {

+  color: #3c8f7e;

+}

+

+pre, code {

+  font-family: "DejaVu Sans Mono", "Bitstream Vera Mono", "Courrier New", monospace;

+  white-space: normal;

+  font-size: 9pt;

+  font-weight: bold;

+}

+

+.type br {

+  display: none;

+}

+

+.info {

+  margin-left: 1em;

+  font-size: 12pt;

+}