Auto-Update {userman, adaptingman}

href: ProofGeneral/PG@e164eca

Author: proofbot

doc/master/adaptingman/Beginning-with-a-New-Prover.html

@@ -258,7 +258,7 @@ <h2 class="section">1.3 Major modes used by Proof General</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>January 9, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>January 13, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/adaptingman/Concept-Index.html

@@ -141,7 +141,7 @@ <h1 class="unnumbered">Concept Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>January 9, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>January 13, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/adaptingman/Configuring-Editing-Syntax.html

@@ -86,7 +86,7 @@ <h1 class="chapter">9. Configuring Editing Syntax</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>January 9, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>January 13, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/adaptingman/Configuring-Font-Lock.html

@@ -85,7 +85,7 @@ <h1 class="chapter">10. Configuring Font Lock</h1>
 
 <dl>
 <dt><a class="anchor" id="index-pg_002dafter_002dfontify_002doutput_002dhook"></a><u>Variable:</u> <b>pg-after-fontify-output-hook</b></dt>
-<dd><p>This hook is called before fonfitying a region in an output buffer.<br>
+<dd><p>This hook is called before fontifying a region in an output buffer.<br>
 [This hook is presently only used by Isabelle].
 </p></dd></dl>
 
@@ -104,7 +104,7 @@ <h1 class="chapter">10. Configuring Font Lock</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>January 9, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>January 13, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/adaptingman/Configuring-Proof_002dTree-Visualization.html

@@ -314,12 +314,12 @@ <h3 class="subsection">12.3.4 Urgent and Delayed Actions</h3>
 <dt><a class="anchor" id="index-proof_002dtree_002durgent_002daction"></a><u>Function:</u> <b>proof-tree-urgent-action</b><i> last-item</i></dt>
 <dd><p>Urgent actions for proof-tree display.<br>
 This is the second entry point of the Proof General prooftree support,
-see also &lsquo;<samp><code>proof-tree-handle-delayed-output</code></samp>&rsquo;. Call
+see also &lsquo;<samp><code>proof-tree-handle-delayed-output</code></samp>&rsquo;.  Call
 &lsquo;<samp><code>proof-tree-check-proof-finish</code></samp>&rsquo; to delay processing the queue region at
 the end of a proof until all show-goal commands from prooftree have been
-processed. Do also call &lsquo;<samp><code>proof-tree-assistant-specific-urgent-action</code></samp>&rsquo;,
+processed.  Do also call &lsquo;<samp><code>proof-tree-assistant-specific-urgent-action</code></samp>&rsquo;,
 which appropriately inserts show-goal commands if Coq is running
-completely silent. <var>last-item</var> is the last proof-action item that has just
+completely silent.  <var>last-item</var> is the last proof-action item that has just
 been processed.
 </p>
 <p>When the proof-tree display is active, this function is called from
@@ -345,7 +345,7 @@ <h3 class="subsection">12.3.4 Urgent and Delayed Actions</h3>
 <dt><a class="anchor" id="index-proof_002dtree_002dhandle_002ddelayed_002doutput"></a><u>Function:</u> <b>proof-tree-handle-delayed-output</b><i> old-proof-marker cmd flags _span</i></dt>
 <dd><p>Process delayed output for prooftree.<br>
 This function is the main entry point of the Proof General prooftree
-support, but see also &lsquo;<samp><code>proof-tree-urgent-action</code></samp>&rsquo;. It examines the
+support, but see also &lsquo;<samp><code>proof-tree-urgent-action</code></samp>&rsquo;.  It examines the
 delayed output in order to take appropriate actions and maintains the
 internal state.
 </p>
@@ -453,7 +453,7 @@ <h3 class="subsection">12.4.2 Prooftree Adaption</h3>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>January 9, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>January 13, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/adaptingman/Configuring-Tokens.html

@@ -78,7 +78,7 @@ <h1 class="chapter">11. Configuring Tokens</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>January 9, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>January 13, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/adaptingman/Demonstration-Instantiations.html

@@ -261,7 +261,7 @@ <h2 class="section">B.2 demoisa.el</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>January 9, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>January 13, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/adaptingman/Function-Index.html

@@ -104,7 +104,7 @@ <h1 class="unnumbered">Function and Command Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>January 9, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>January 13, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/adaptingman/Global-Constants.html

@@ -55,7 +55,7 @@ <h1 class="chapter">7. Global Constants</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>January 9, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>January 13, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/adaptingman/Goals-Buffer-Settings.html

@@ -102,7 +102,7 @@ <h1 class="chapter">5. Goals Buffer Settings</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>January 9, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>January 13, 2026</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>