Skip to content

Commit

Permalink
Documentation of branch “v8.19” at 24162ae9
Browse files Browse the repository at this point in the history
  • Loading branch information
coqbot committed Jan 12, 2024
1 parent b1d1173 commit 1b5582e
Show file tree
Hide file tree
Showing 341 changed files with 3,583 additions and 3,572 deletions.
Binary file modified v8.19/refman/.doctrees/addendum/extraction.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/addendum/generalized-rewriting.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/addendum/implicit-coercions.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/addendum/micromega.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/addendum/miscellaneous-extensions.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/addendum/program.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/addendum/ring.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/addendum/sprop.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/addendum/type-classes.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/addendum/universe-polymorphism.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/changes.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/environment.pickle
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/language/cic.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/language/coq-library.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/language/core/assumptions.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/language/core/basic.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/language/core/coinductive.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/language/core/conversion.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/language/core/inductive.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/language/core/modules.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/language/core/primitive.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/language/core/records.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/language/core/sections.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/language/core/variants.doctree
Binary file not shown.
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/language/extensions/canonical.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/language/extensions/evars.doctree
Binary file not shown.
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/language/extensions/match.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/practical-tools/coq-commands.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/practical-tools/coqide.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/proof-engine/ltac.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/proof-engine/ltac2.doctree
Binary file not shown.
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/proof-engine/tactics.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/proof-engine/vernacular-commands.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/proofs/automatic-tactics/auto.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/proofs/automatic-tactics/logic.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/proofs/writing-proofs/equality.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/proofs/writing-proofs/proof-mode.doctree
Binary file not shown.
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/user-extensions/syntax-extensions.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/using/libraries/funind.doctree
Binary file not shown.
Binary file modified v8.19/refman/.doctrees/using/libraries/writing.doctree
Binary file not shown.
44 changes: 22 additions & 22 deletions v8.19/refman/addendum/canonical-structures.html
Original file line number Diff line number Diff line change
Expand Up @@ -979,61 +979,61 @@
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-18">Version 8.18</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id148">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id150">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-18-0">Changes in 8.18.0</a></li>
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-17">Version 8.17</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id290">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id292">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-17-0">Changes in 8.17.0</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-17-1">Changes in 8.17.1</a></li>
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-16">Version 8.16</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id444">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id446">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-16-0">Changes in 8.16.0</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-16-1">Changes in 8.16.1</a></li>
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-15">Version 8.15</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id607">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id609">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-15-0">Changes in 8.15.0</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-15-1">Changes in 8.15.1</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-15-2">Changes in 8.15.2</a></li>
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-14">Version 8.14</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id835">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id837">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-14-0">Changes in 8.14.0</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-14-1">Changes in 8.14.1</a></li>
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-13">Version 8.13</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1031">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1033">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-13-beta1">Changes in 8.13+beta1</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-13-0">Changes in 8.13.0</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-13-1">Changes in 8.13.1</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-13-2">Changes in 8.13.2</a></li>
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-12">Version 8.12</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1195">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1197">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-12-beta1">Changes in 8.12+beta1</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-12-0">Changes in 8.12.0</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-12-1">Changes in 8.12.1</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-12-2">Changes in 8.12.2</a></li>
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-11">Version 8.11</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1501">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1503">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-11-beta1">Changes in 8.11+beta1</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-11-0">Changes in 8.11.0</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-11-1">Changes in 8.11.1</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-11-2">Changes in 8.11.2</a></li>
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-10">Version 8.10</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1639">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1641">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#other-changes-in-8-10-beta1">Other changes in 8.10+beta1</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-10-beta2">Changes in 8.10+beta2</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-10-beta3">Changes in 8.10+beta3</a></li>
Expand All @@ -1043,22 +1043,22 @@
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-9">Version 8.9</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1786">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1788">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-9-beta1">Details of changes in 8.9+beta1</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-8-0">Changes in 8.8.0</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#changes-in-8-8-1">Changes in 8.8.1</a></li>
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-8">Version 8.8</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1788">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1790">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-8-beta1">Details of changes in 8.8+beta1</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-8-0">Details of changes in 8.8.0</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-8-1">Details of changes in 8.8.1</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-8-2">Details of changes in 8.8.2</a></li>
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-7">Version 8.7</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1789">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1791">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#potential-compatibility-issues">Potential compatibility issues</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-7-beta1">Details of changes in 8.7+beta1</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-7-beta2">Details of changes in 8.7+beta2</a></li>
Expand All @@ -1068,16 +1068,16 @@
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-6">Version 8.6</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1790">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1792">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#potential-sources-of-incompatibilities">Potential sources of incompatibilities</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-6beta1">Details of changes in 8.6beta1</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-6">Details of changes in 8.6</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-6-1">Details of changes in 8.6.1</a></li>
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-5">Version 8.5</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1791">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1792">Potential sources of incompatibilities</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1793">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1794">Potential sources of incompatibilities</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-5beta1">Details of changes in 8.5beta1</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-5beta2">Details of changes in 8.5beta2</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-5beta3">Details of changes in 8.5beta3</a></li>
Expand All @@ -1088,32 +1088,32 @@
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-4">Version 8.4</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1793">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1795">Potential sources of incompatibilities</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1795">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1797">Potential sources of incompatibilities</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-4beta">Details of changes in 8.4beta</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-4beta2">Details of changes in 8.4beta2</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-4">Details of changes in 8.4</a></li>
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-3">Version 8.3</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1796">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1798">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes">Details of changes</a></li>
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-2">Version 8.2</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1797">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1798">Details of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1799">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1800">Details of changes</a></li>
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-1">Version 8.1</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1799">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1801">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-1beta">Details of changes in 8.1beta</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-1gamma">Details of changes in 8.1gamma</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-1">Details of changes in 8.1</a></li>
</ul>
</li>
<li class="toctree-l3"><a class="reference internal" href="../changes.html#version-8-0">Version 8.0</a><ul>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1800">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#id1802">Summary of changes</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-0beta-old-syntax">Details of changes in 8.0beta old syntax</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-0beta-new-syntax">Details of changes in 8.0beta new syntax</a></li>
<li class="toctree-l4"><a class="reference internal" href="../changes.html#details-of-changes-in-8-0">Details of changes in 8.0</a></li>
Expand Down
Loading

0 comments on commit 1b5582e

Please sign in to comment.