Add v0.12.0

coq-community · Jan 8, 2024 · c05e397 · c05e397
1 parent 64bf456
commit c05e397
Show file tree

Hide file tree

Showing 120 changed files with 21,804 additions and 4 deletions.
diff --git a/index.html b/index.html
@@ -60,6 +60,10 @@
     img {
       max-width: 100%;
     }
+    svg {
+      height: auto;
+      max-width: 100%;
+    }
     h1, h2, h3, h4, h5, h6 {
       margin-top: 1.4em;
     }
@@ -152,8 +156,11 @@
     div.columns{display: flex; gap: min(4vw, 1.5em);}
     div.column{flex: auto; overflow-x: auto;}
     div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
-    ul.task-list{list-style: none;}
+    /* The extra [class] is a hack that increases specificity enough to
+       override a similar rule in reveal.js */
+    ul.task-list[class]{list-style: none;}
     ul.task-list li input[type="checkbox"] {
+      font-size: inherit;
       width: 0.8em;
       margin: 0 0.8em 0.2em -1.6em;
       vertical-align: middle;
@@ -165,9 +172,6 @@
   <style type="text/css"> h2 {margin-left: 0em; padding: 0px; color: #580909} </style>
   <style type="text/css"> h3 {margin-left: 1em; padding: 0px; color: #C05001;} </style>
   <style type="text/css"> body { width: 1100px; margin-left: 30px; }</style>
-  <!--[if lt IE 9]>
-    <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
-  <![endif]-->
 </head>
 <body>
 <header id="title-block-header">
@@ -193,6 +197,7 @@ <h2 id="get-the-code">Get the code</h2>
 from GitHub</a>.</p>
 <h2 id="documentation">Documentation</h2>
 <ul>
+<li><a href="v0.12.0/toc.html">0.12.0</a></li>
 <li><a href="v0.11.8/toc.html">0.11.8</a></li>
 <li><a href="v0.11.7/toc.html">0.11.7</a></li>
 <li><a href="v0.11.6/toc.html">0.11.6</a></li>

diff --git a/v0.12.0/ExtLib.Core.Any.html b/v0.12.0/ExtLib.Core.Any.html
@@ -0,0 +1,63 @@
+<!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">
+
+<head>
+<meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
+<link href="resources/coqdoc.css" rel="stylesheet" type="text/css" />
+<link href="resources/coqdocjs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="resources/config.js"></script>
+<script type="text/javascript" src="resources/coqdocjs.js"></script>
+</head>
+
+<body onload="document.getElementById('content').focus()">
+  <div id="header">
+    <span class="left">
+      <span class="modulename"> <script> document.write(document.title) </script> </span>
+    </span>
+
+    <span class="button" id="toggle-proofs"></span>
+
+    <span class="right">
+      <a href="../">Project Page</a>
+      <a href="./indexpage.html"> Index </a>
+      <a href="./toc.html"> Table of Contents </a>
+    </span>
+</div>
+    <div id="content" tabindex="-1" onblur="document.getElementById('content').focus()">
+    <div id="main">
+<h1 class="libtitle">ExtLib.Core.Any</h1>
+
+<div class="code">
+<span class="id" title="keyword">Set Implicit Arguments</span>.<br/>
+<span class="id" title="keyword">Set</span> <span class="id" title="keyword">Strict</span> <span class="id" title="keyword">Implicit</span>.<br/>
+
+<br/>
+</div>
+
+<div class="doc">
+This class should be used when no requirements are needed 
+</div>
+<div class="code">
+<span class="id" title="keyword">Polymorphic Class</span> <a id="Any" class="idref" href="#Any"><span class="id" title="record">Any</span></a> (<a id="T:1" class="idref" href="#T:1"><span class="id" title="binder">T</span></a> : <span class="id" title="keyword">Type</span>) : <span class="id" title="keyword">Prop</span>.<br/>
+
+<br/>
+<span class="id" title="keyword">Global Polymorphic Instance</span> <a id="Any_a" class="idref" href="#Any_a"><span class="id" title="instance">Any_a</span></a> (<a id="T:3" class="idref" href="#T:3"><span class="id" title="binder">T</span></a> : <span class="id" title="keyword">Type</span>) : <a class="idref" href="ExtLib.Core.Any.html#Any"><span class="id" title="class">Any</span></a> <a class="idref" href="ExtLib.Core.Any.html#T:3"><span class="id" title="variable">T</span></a> := {}.<br/>
+
+<br/>
+<span class="id" title="keyword">Polymorphic Definition</span> <a id="RESOLVE" class="idref" href="#RESOLVE"><span class="id" title="definition">RESOLVE</span></a> (<a id="T:4" class="idref" href="#T:4"><span class="id" title="binder">T</span></a> : <span class="id" title="keyword">Type</span>) : <span class="id" title="keyword">Type</span> := <a class="idref" href="ExtLib.Core.Any.html#T:4"><span class="id" title="variable">T</span></a>.<br/>
+
+<br/>
+<span class="id" title="keyword">Existing Class</span> <a class="idref" href="ExtLib.Core.Any.html#RESOLVE"><span class="id" title="definition">RESOLVE</span></a>.<br/>
+
+<br/>
+#[<span class="id" title="var">global</span>]<br/>
+<span class="id" title="keyword">Hint</span> <span class="id" title="keyword">Extern</span> 0 (<a class="idref" href="ExtLib.Core.Any.html#RESOLVE"><span class="id" title="class">RESOLVE</span></a> <span class="id" title="var">_</span>) =&gt; <span class="id" title="tactic">unfold</span> <a class="idref" href="ExtLib.Core.Any.html#RESOLVE"><span class="id" title="class">RESOLVE</span></a> : <span class="id" title="var">typeclass_instances</span>.<br/>
+</div>
+</div>
+<div id="footer">
+  Generated by <a href="http://coq.inria.fr/">coqdoc</a> and improved with <a href="https://github.com/tebbi/coqdocjs">CoqdocJS</a>
+</div>
+</div>
+</body>
+
+</html>
diff --git a/v0.12.0/ExtLib.Core.CmpDec.html b/v0.12.0/ExtLib.Core.CmpDec.html