deploy: pygments/pygments@8cb01cc

Author: Anteru

.doctrees/docs/lexers.doctree

@@ -301,8 +301,6 @@ <h2>This website requires JavaScript (and WebAssembly)</h2>
 
                     <option value="componentpascal">Component Pascal</option>
 
-                    <option value="coq">Coq</option>
-                
                     <option value="cplint">cplint</option>
 
                     <option value="cpp-objdump">cpp-objdump</option>
@@ -1005,6 +1003,8 @@ <h2>This website requires JavaScript (and WebAssembly)</h2>
 
                     <option value="robotframework">RobotFramework</option>
 
+                    <option value="coq">Rocq Prover</option>
+                
                     <option value="spec">RPMSpec</option>
 
                     <option value="rql">RQL</option>

.doctrees/environment.pickle

@@ -1214,8 +1214,8 @@ <h3><a href="../../">Table of Contents</a></h3>
 </ul>
 </li>
 <li><a class="reference internal" href="#lexers-for-theorem-proving-languages">Lexers for theorem-proving languages</a><ul>
-<li><a class="reference internal" href="#pygments.lexers.theorem.CoqLexer"><code class="docutils literal notranslate"><span class="pre">CoqLexer</span></code></a></li>
 <li><a class="reference internal" href="#pygments.lexers.theorem.IsabelleLexer"><code class="docutils literal notranslate"><span class="pre">IsabelleLexer</span></code></a></li>
+<li><a class="reference internal" href="#pygments.lexers.theorem.RocqLexer"><code class="docutils literal notranslate"><span class="pre">RocqLexer</span></code></a></li>
 </ul>
 </li>
 <li><a class="reference internal" href="#lexers-for-the-thingsdb-language">Lexers for the ThingsDB language</a><ul>
@@ -14758,47 +14758,47 @@ <h1>Available lexers<a class="headerlink" href="#available-lexers" title="Link t
 <section id="lexers-for-theorem-proving-languages">
 <span id="module-pygments.lexers.theorem"></span><h2>Lexers for theorem-proving languages<a class="headerlink" href="#lexers-for-theorem-proving-languages" title="Link to this heading">¶</a></h2>
 <dl class="py class">
-<dt class="sig sig-object py" id="pygments.lexers.theorem.CoqLexer">
-<em class="property"><span class="k"><span class="pre">class</span></span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">pygments.lexers.theorem.</span></span><span class="sig-name descname"><span class="pre">CoqLexer</span></span><a class="headerlink" href="#pygments.lexers.theorem.CoqLexer" title="Link to this definition">¶</a></dt>
+<dt class="sig sig-object py" id="pygments.lexers.theorem.IsabelleLexer">
+<em class="property"><span class="k"><span class="pre">class</span></span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">pygments.lexers.theorem.</span></span><span class="sig-name descname"><span class="pre">IsabelleLexer</span></span><a class="headerlink" href="#pygments.lexers.theorem.IsabelleLexer" title="Link to this definition">¶</a></dt>
 <dd><dl class="field-list simple">
 <dt class="field-odd">Short names<span class="colon">:</span></dt>
-<dd class="field-odd"><p>coq</p>
+<dd class="field-odd"><p>isabelle</p>
 </dd>
 <dt class="field-even">Filenames<span class="colon">:</span></dt>
-<dd class="field-even"><p>*.v</p>
+<dd class="field-even"><p>*.thy</p>
 </dd>
 <dt class="field-odd">MIME types<span class="colon">:</span></dt>
-<dd class="field-odd"><p>text/x-coq</p>
+<dd class="field-odd"><p>text/x-isabelle</p>
 </dd>
 </dl>
 </dd></dl>
 
-<p>For the Coq theorem prover.</p>
+<p>For the Isabelle proof assistant.</p>
 <blockquote>
 <div><div class="versionadded">
-<p><span class="versionmodified added">Added in version 1.5.</span></p>
+<p><span class="versionmodified added">Added in version 2.0.</span></p>
 </div>
 </div></blockquote>
 <dl class="py class">
-<dt class="sig sig-object py" id="pygments.lexers.theorem.IsabelleLexer">
-<em class="property"><span class="k"><span class="pre">class</span></span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">pygments.lexers.theorem.</span></span><span class="sig-name descname"><span class="pre">IsabelleLexer</span></span><a class="headerlink" href="#pygments.lexers.theorem.IsabelleLexer" title="Link to this definition">¶</a></dt>
+<dt class="sig sig-object py" id="pygments.lexers.theorem.RocqLexer">
+<em class="property"><span class="k"><span class="pre">class</span></span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">pygments.lexers.theorem.</span></span><span class="sig-name descname"><span class="pre">RocqLexer</span></span><a class="headerlink" href="#pygments.lexers.theorem.RocqLexer" title="Link to this definition">¶</a></dt>
 <dd><dl class="field-list simple">
 <dt class="field-odd">Short names<span class="colon">:</span></dt>
-<dd class="field-odd"><p>isabelle</p>
+<dd class="field-odd"><p>coq, rocq, rocq-prover</p>
 </dd>
 <dt class="field-even">Filenames<span class="colon">:</span></dt>
-<dd class="field-even"><p>*.thy</p>
+<dd class="field-even"><p>*.v</p>
 </dd>
 <dt class="field-odd">MIME types<span class="colon">:</span></dt>
-<dd class="field-odd"><p>text/x-isabelle</p>
+<dd class="field-odd"><p>text/x-coq, text/x-rocq</p>
 </dd>
 </dl>
 </dd></dl>
 
-<p>For the Isabelle proof assistant.</p>
+<p>For the Rocq Prover.</p>
 <blockquote>
 <div><div class="versionadded">
-<p><span class="versionmodified added">Added in version 2.0.</span></p>
+<p><span class="versionmodified added">Added in version 1.5.</span></p>
 </div>
 </div></blockquote>
 </section>

.doctrees/languages.doctree

@@ -371,8 +371,6 @@ <h2 id="C">C</h2>
       <li><a href="../docs/lexers/#pygments.lexers.lisp.CommonLispLexer">CommonLispLexer (class in pygments.lexers.lisp)</a>
 </li>
       <li><a href="../docs/lexers/#pygments.lexers.oberon.ComponentPascalLexer">ComponentPascalLexer (class in pygments.lexers.oberon)</a>
-</li>
-      <li><a href="../docs/lexers/#pygments.lexers.theorem.CoqLexer">CoqLexer (class in pygments.lexers.theorem)</a>
 </li>
       <li><a href="../docs/lexers/#pygments.lexers.cplint.CplintLexer">CplintLexer (class in pygments.lexers.cplint)</a>
 </li>
@@ -3400,6 +3398,8 @@ <h2 id="R">R</h2>
       <li><a href="../docs/lexers/#pygments.lexers.roboconf.RoboconfInstancesLexer">RoboconfInstancesLexer (class in pygments.lexers.roboconf)</a>
 </li>
       <li><a href="../docs/lexers/#pygments.lexers.robotframework.RobotFrameworkLexer">RobotFrameworkLexer (class in pygments.lexers.robotframework)</a>
+</li>
+      <li><a href="../docs/lexers/#pygments.lexers.theorem.RocqLexer">RocqLexer (class in pygments.lexers.theorem)</a>
 </li>
       <li><a href="../docs/lexers/#pygments.lexers.installers.RPMSpecLexer">RPMSpecLexer (class in pygments.lexers.installers)</a>
 </li>