Deploying to gh-pages from @ 1787d03 🚀

bclement-ocp · Jul 23, 2024 · d05cd47 · d05cd47
1 parent 198f73b
commit d05cd47
Show file tree

Hide file tree

Showing 81 changed files with 2,261 additions and 64 deletions.
diff --git a/multidoc/.buildinfo b/multidoc/.buildinfo
@@ -1,4 +1,4 @@
 # Sphinx build info version 1
 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: fc13dd540e86552f8b04d15470e679d2
+config: 093b585dcbff68f48c790e5cfa1e24b3
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/multidoc/.doctrees/environment.pickle b/multidoc/.doctrees/environment.pickle
diff --git a/multidoc/API/index.html b/multidoc/API/index.html
@@ -7,6 +7,7 @@
   <title>API documentation &mdash; Alt-Ergo Documentation  documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
+      <link rel="stylesheet" type="text/css" href="../_static/css/versions.css?v=21adeb6f" />
 
 
   <!--[if lt IE 9]>
@@ -18,7 +19,7 @@
         <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=b3ba4146"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
-        <script src="../_static/js/versions.js?v=9468fbc8"></script>
+        <script src="../_static/js/versions.js?v=e4a5d295"></script>
     <script src="../_static/js/theme.js"></script>
     <link rel="index" title="Index" href="../genindex.html" />
     <link rel="search" title="Search" href="../search.html" />
@@ -112,7 +113,7 @@ <h1>API documentation<a class="headerlink" href="#api-documentation" title="Perm
       </div>
     </section>
   </div>
-  <script>
+  <script type="application/json" id="CURRENT_VERSION">{"slug": "${GITHUB_REF#*/*/}"}</script><script>
       jQuery(function () {
           SphinxRtdTheme.Navigation.enable(true);
       });

diff --git a/multidoc/About/changes.html b/multidoc/About/changes.html
@@ -7,6 +7,7 @@
   <title>Changes &mdash; Alt-Ergo Documentation  documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
+      <link rel="stylesheet" type="text/css" href="../_static/css/versions.css?v=21adeb6f" />
 
 
   <!--[if lt IE 9]>
@@ -18,7 +19,7 @@
         <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=b3ba4146"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
-        <script src="../_static/js/versions.js?v=9468fbc8"></script>
+        <script src="../_static/js/versions.js?v=e4a5d295"></script>
     <script src="../_static/js/theme.js"></script>
     <link rel="index" title="Index" href="../genindex.html" />
     <link rel="search" title="Search" href="../search.html" />
@@ -1026,7 +1027,7 @@ <h2>version 0.5, October 12th, 2006<a class="headerlink" href="#version-0-5-octo
       </div>
     </section>
   </div>
-  <script>
+  <script type="application/json" id="CURRENT_VERSION">{"slug": "${GITHUB_REF#*/*/}"}</script><script>
       jQuery(function () {
           SphinxRtdTheme.Navigation.enable(true);
       });

diff --git a/multidoc/About/index.html b/multidoc/About/index.html
@@ -7,6 +7,7 @@
   <title>About &mdash; Alt-Ergo Documentation  documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
+      <link rel="stylesheet" type="text/css" href="../_static/css/versions.css?v=21adeb6f" />
 
 
   <!--[if lt IE 9]>
@@ -18,7 +19,7 @@
         <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=b3ba4146"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
-        <script src="../_static/js/versions.js?v=9468fbc8"></script>
+        <script src="../_static/js/versions.js?v=e4a5d295"></script>
     <script src="../_static/js/theme.js"></script>
     <link rel="index" title="Index" href="../genindex.html" />
     <link rel="search" title="Search" href="../search.html" />
@@ -167,7 +168,7 @@ <h1>About<a class="headerlink" href="#about" title="Permalink to this heading">
       </div>
     </section>
   </div>
-  <script>
+  <script type="application/json" id="CURRENT_VERSION">{"slug": "${GITHUB_REF#*/*/}"}</script><script>
       jQuery(function () {
           SphinxRtdTheme.Navigation.enable(true);
       });

diff --git a/multidoc/About/license.html b/multidoc/About/license.html
@@ -7,6 +7,7 @@
   <title>Copyright &mdash; Alt-Ergo Documentation  documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
+      <link rel="stylesheet" type="text/css" href="../_static/css/versions.css?v=21adeb6f" />
 
 
   <!--[if lt IE 9]>
@@ -18,7 +19,7 @@
         <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=b3ba4146"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
-        <script src="../_static/js/versions.js?v=9468fbc8"></script>
+        <script src="../_static/js/versions.js?v=e4a5d295"></script>
     <script src="../_static/js/theme.js"></script>
     <link rel="index" title="Index" href="../genindex.html" />
     <link rel="search" title="Search" href="../search.html" />
@@ -156,7 +157,7 @@ <h2>Plugins<a class="headerlink" href="#plugins" title="Permalink to this headin
       </div>
     </section>
   </div>
-  <script>
+  <script type="application/json" id="CURRENT_VERSION">{"slug": "${GITHUB_REF#*/*/}"}</script><script>
       jQuery(function () {
           SphinxRtdTheme.Navigation.enable(true);
       });

diff --git a/multidoc/Dev/architecture.html b/multidoc/Dev/architecture.html
@@ -7,6 +7,7 @@
   <title>Project Architecture &mdash; Alt-Ergo Documentation  documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
+      <link rel="stylesheet" type="text/css" href="../_static/css/versions.css?v=21adeb6f" />
 
 
   <!--[if lt IE 9]>
@@ -18,7 +19,7 @@
         <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=b3ba4146"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
-        <script src="../_static/js/versions.js?v=9468fbc8"></script>
+        <script src="../_static/js/versions.js?v=e4a5d295"></script>
     <script src="../_static/js/theme.js"></script>
     <link rel="index" title="Index" href="../genindex.html" />
     <link rel="search" title="Search" href="../search.html" />
@@ -119,7 +120,7 @@ <h1>Project Architecture<a class="headerlink" href="#project-architecture" title
       </div>
     </section>
   </div>
-  <script>
+  <script type="application/json" id="CURRENT_VERSION">{"slug": "${GITHUB_REF#*/*/}"}</script><script>
       jQuery(function () {
           SphinxRtdTheme.Navigation.enable(true);
       });

diff --git a/multidoc/Dev/contributing.html b/multidoc/Dev/contributing.html
@@ -7,6 +7,7 @@
   <title>Contributing &mdash; Alt-Ergo Documentation  documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
+      <link rel="stylesheet" type="text/css" href="../_static/css/versions.css?v=21adeb6f" />
 
 
   <!--[if lt IE 9]>
@@ -18,7 +19,7 @@
         <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=b3ba4146"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
-        <script src="../_static/js/versions.js?v=9468fbc8"></script>
+        <script src="../_static/js/versions.js?v=e4a5d295"></script>
     <script src="../_static/js/theme.js"></script>
     <link rel="index" title="Index" href="../genindex.html" />
     <link rel="search" title="Search" href="../search.html" />
@@ -213,7 +214,7 @@ <h3>Make the release<a class="headerlink" href="#make-the-release" title="Permal
       </div>
     </section>
   </div>
-  <script>
+  <script type="application/json" id="CURRENT_VERSION">{"slug": "${GITHUB_REF#*/*/}"}</script><script>
       jQuery(function () {
           SphinxRtdTheme.Navigation.enable(true);
       });

diff --git a/multidoc/Dev/index.html b/multidoc/Dev/index.html
@@ -7,6 +7,7 @@
   <title>Developer’s documentation &mdash; Alt-Ergo Documentation  documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
+      <link rel="stylesheet" type="text/css" href="../_static/css/versions.css?v=21adeb6f" />
 
 
   <!--[if lt IE 9]>
@@ -18,7 +19,7 @@
         <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=b3ba4146"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
-        <script src="../_static/js/versions.js?v=9468fbc8"></script>
+        <script src="../_static/js/versions.js?v=e4a5d295"></script>
     <script src="../_static/js/theme.js"></script>
     <link rel="index" title="Index" href="../genindex.html" />
     <link rel="search" title="Search" href="../search.html" />
@@ -125,7 +126,7 @@ <h1>Developer’s documentation<a class="headerlink" href="#developer-s-document
       </div>
     </section>
   </div>
-  <script>
+  <script type="application/json" id="CURRENT_VERSION">{"slug": "${GITHUB_REF#*/*/}"}</script><script>
       jQuery(function () {
           SphinxRtdTheme.Navigation.enable(true);
       });

diff --git a/multidoc/Input_file_formats/Native/00_summary.html b/multidoc/Input_file_formats/Native/00_summary.html
@@ -7,6 +7,7 @@
   <title>Summary &mdash; Alt-Ergo Documentation  documentation</title>
       <link rel="stylesheet" type="text/css" href="../../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../../_static/css/theme.css?v=19f00094" />
+      <link rel="stylesheet" type="text/css" href="../../_static/css/versions.css?v=21adeb6f" />
 
 
   <!--[if lt IE 9]>
@@ -18,7 +19,7 @@
         <script data-url_root="../../" id="documentation_options" src="../../_static/documentation_options.js?v=b3ba4146"></script>
         <script src="../../_static/doctools.js?v=888ff710"></script>
         <script src="../../_static/sphinx_highlight.js?v=4825356b"></script>
-        <script src="../../_static/js/versions.js?v=9468fbc8"></script>
+        <script src="../../_static/js/versions.js?v=e4a5d295"></script>
     <script src="../../_static/js/theme.js"></script>
     <link rel="index" title="Index" href="../../genindex.html" />
     <link rel="search" title="Search" href="../../search.html" />
@@ -168,7 +169,7 @@ <h2>Keywords<a class="headerlink" href="#keywords" title="Permalink to this head
       </div>
     </section>
   </div>
-  <script>
+  <script type="application/json" id="CURRENT_VERSION">{"slug": "${GITHUB_REF#*/*/}"}</script><script>
       jQuery(function () {
           SphinxRtdTheme.Navigation.enable(true);
       });

diff --git a/multidoc/Input_file_formats/Native/01_declaration_of_symbols.html b/multidoc/Input_file_formats/Native/01_declaration_of_symbols.html
@@ -7,6 +7,7 @@
   <title>Declaration of symbols &mdash; Alt-Ergo Documentation  documentation</title>
       <link rel="stylesheet" type="text/css" href="../../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../../_static/css/theme.css?v=19f00094" />
+      <link rel="stylesheet" type="text/css" href="../../_static/css/versions.css?v=21adeb6f" />
 
 
   <!--[if lt IE 9]>
@@ -18,7 +19,7 @@
         <script data-url_root="../../" id="documentation_options" src="../../_static/documentation_options.js?v=b3ba4146"></script>
         <script src="../../_static/doctools.js?v=888ff710"></script>
         <script src="../../_static/sphinx_highlight.js?v=4825356b"></script>
-        <script src="../../_static/js/versions.js?v=9468fbc8"></script>
+        <script src="../../_static/js/versions.js?v=e4a5d295"></script>
     <script src="../../_static/js/theme.js"></script>
     <link rel="index" title="Index" href="../../genindex.html" />
     <link rel="search" title="Search" href="../../search.html" />
@@ -304,7 +305,7 @@ <h3>Examples<a class="headerlink" href="#id6" title="Permalink to this heading">
       </div>
     </section>
   </div>
-  <script>
+  <script type="application/json" id="CURRENT_VERSION">{"slug": "${GITHUB_REF#*/*/}"}</script><script>
       jQuery(function () {
           SphinxRtdTheme.Navigation.enable(true);
       });

diff --git a/multidoc/Input_file_formats/Native/02_types/02_01_builtin.html b/multidoc/Input_file_formats/Native/02_types/02_01_builtin.html
@@ -7,6 +7,7 @@
   <title>Built-in types &mdash; Alt-Ergo Documentation  documentation</title>
       <link rel="stylesheet" type="text/css" href="../../../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../../../_static/css/theme.css?v=19f00094" />
+      <link rel="stylesheet" type="text/css" href="../../../_static/css/versions.css?v=21adeb6f" />
 
 
   <!--[if lt IE 9]>
@@ -18,7 +19,7 @@
         <script data-url_root="../../../" id="documentation_options" src="../../../_static/documentation_options.js?v=b3ba4146"></script>
         <script src="../../../_static/doctools.js?v=888ff710"></script>
         <script src="../../../_static/sphinx_highlight.js?v=4825356b"></script>
-        <script src="../../../_static/js/versions.js?v=9468fbc8"></script>
+        <script src="../../../_static/js/versions.js?v=e4a5d295"></script>
     <script src="../../../_static/js/theme.js"></script>
     <link rel="index" title="Index" href="../../../genindex.html" />
     <link rel="search" title="Search" href="../../../search.html" />
@@ -594,7 +595,7 @@ <h3>Examples<a class="headerlink" href="#id6" title="Permalink to this heading">
       </div>
     </section>
   </div>
-  <script>
+  <script type="application/json" id="CURRENT_VERSION">{"slug": "${GITHUB_REF#*/*/}"}</script><script>
       jQuery(function () {
           SphinxRtdTheme.Navigation.enable(true);
       });

diff --git a/multidoc/Input_file_formats/Native/02_types/02_02_user_defined.html b/multidoc/Input_file_formats/Native/02_types/02_02_user_defined.html
@@ -7,6 +7,7 @@
   <title>User-defined types &mdash; Alt-Ergo Documentation  documentation</title>
       <link rel="stylesheet" type="text/css" href="../../../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../../../_static/css/theme.css?v=19f00094" />
+      <link rel="stylesheet" type="text/css" href="../../../_static/css/versions.css?v=21adeb6f" />
 
 
   <!--[if lt IE 9]>
@@ -18,7 +19,7 @@
         <script data-url_root="../../../" id="documentation_options" src="../../../_static/documentation_options.js?v=b3ba4146"></script>
         <script src="../../../_static/doctools.js?v=888ff710"></script>
         <script src="../../../_static/sphinx_highlight.js?v=4825356b"></script>
-        <script src="../../../_static/js/versions.js?v=9468fbc8"></script>
+        <script src="../../../_static/js/versions.js?v=e4a5d295"></script>
     <script src="../../../_static/js/theme.js"></script>
     <link rel="index" title="Index" href="../../../genindex.html" />
     <link rel="search" title="Search" href="../../../search.html" />
@@ -322,7 +323,7 @@ <h3>Syntax<a class="headerlink" href="#id4" title="Permalink to this heading">
       </div>
     </section>
   </div>
-  <script>
+  <script type="application/json" id="CURRENT_VERSION">{"slug": "${GITHUB_REF#*/*/}"}</script><script>
       jQuery(function () {
           SphinxRtdTheme.Navigation.enable(true);
       });

diff --git a/multidoc/Input_file_formats/Native/02_types/index.html b/multidoc/Input_file_formats/Native/02_types/index.html
@@ -7,6 +7,7 @@
   <title>Types &mdash; Alt-Ergo Documentation  documentation</title>
       <link rel="stylesheet" type="text/css" href="../../../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../../../_static/css/theme.css?v=19f00094" />
+      <link rel="stylesheet" type="text/css" href="../../../_static/css/versions.css?v=21adeb6f" />
 
 
   <!--[if lt IE 9]>
@@ -18,7 +19,7 @@
         <script data-url_root="../../../" id="documentation_options" src="../../../_static/documentation_options.js?v=b3ba4146"></script>
         <script src="../../../_static/doctools.js?v=888ff710"></script>
         <script src="../../../_static/sphinx_highlight.js?v=4825356b"></script>
-        <script src="../../../_static/js/versions.js?v=9468fbc8"></script>
+        <script src="../../../_static/js/versions.js?v=e4a5d295"></script>
     <script src="../../../_static/js/theme.js"></script>
     <link rel="index" title="Index" href="../../../genindex.html" />
     <link rel="search" title="Search" href="../../../search.html" />
@@ -188,7 +189,7 @@ <h1>Types<a class="headerlink" href="#types" title="Permalink to this heading">
       </div>
     </section>
   </div>
-  <script>
+  <script type="application/json" id="CURRENT_VERSION">{"slug": "${GITHUB_REF#*/*/}"}</script><script>
       jQuery(function () {
           SphinxRtdTheme.Navigation.enable(true);
       });

diff --git a/multidoc/Input_file_formats/Native/03_declaration_of_axioms.html b/multidoc/Input_file_formats/Native/03_declaration_of_axioms.html
@@ -7,6 +7,7 @@
   <title>Declaration of axioms &mdash; Alt-Ergo Documentation  documentation</title>
       <link rel="stylesheet" type="text/css" href="../../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../../_static/css/theme.css?v=19f00094" />
+      <link rel="stylesheet" type="text/css" href="../../_static/css/versions.css?v=21adeb6f" />
 
 
   <!--[if lt IE 9]>
@@ -18,7 +19,7 @@
         <script data-url_root="../../" id="documentation_options" src="../../_static/documentation_options.js?v=b3ba4146"></script>
         <script src="../../_static/doctools.js?v=888ff710"></script>
         <script src="../../_static/sphinx_highlight.js?v=4825356b"></script>
-        <script src="../../_static/js/versions.js?v=9468fbc8"></script>
+        <script src="../../_static/js/versions.js?v=e4a5d295"></script>
     <script src="../../_static/js/theme.js"></script>
     <link rel="index" title="Index" href="../../genindex.html" />
     <link rel="search" title="Search" href="../../search.html" />
@@ -251,7 +252,7 @@ <h3>Example<a class="headerlink" href="#id3" title="Permalink to this heading">
       </div>
     </section>
   </div>
-  <script>
+  <script type="application/json" id="CURRENT_VERSION">{"slug": "${GITHUB_REF#*/*/}"}</script><script>
       jQuery(function () {
           SphinxRtdTheme.Navigation.enable(true);
       });

diff --git a/multidoc/Input_file_formats/Native/04_setting_goals.html b/multidoc/Input_file_formats/Native/04_setting_goals.html
@@ -7,6 +7,7 @@
   <title>Setting goals &mdash; Alt-Ergo Documentation  documentation</title>
       <link rel="stylesheet" type="text/css" href="../../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../../_static/css/theme.css?v=19f00094" />
+      <link rel="stylesheet" type="text/css" href="../../_static/css/versions.css?v=21adeb6f" />
 
 
   <!--[if lt IE 9]>
@@ -18,7 +19,7 @@
         <script data-url_root="../../" id="documentation_options" src="../../_static/documentation_options.js?v=b3ba4146"></script>
         <script src="../../_static/doctools.js?v=888ff710"></script>
         <script src="../../_static/sphinx_highlight.js?v=4825356b"></script>
-        <script src="../../_static/js/versions.js?v=9468fbc8"></script>
+        <script src="../../_static/js/versions.js?v=e4a5d295"></script>
     <script src="../../_static/js/theme.js"></script>
     <link rel="index" title="Index" href="../../genindex.html" />
     <link rel="search" title="Search" href="../../search.html" />
@@ -222,7 +223,7 @@ <h3>Example<a class="headerlink" href="#example" title="Permalink to this headin
       </div>
     </section>
   </div>
-  <script>
+  <script type="application/json" id="CURRENT_VERSION">{"slug": "${GITHUB_REF#*/*/}"}</script><script>
       jQuery(function () {
           SphinxRtdTheme.Navigation.enable(true);
       });