Auto-Update {userman, adaptingman}

proofbot · proofbot · commit 9b70832e3a17 · 2025-04-19T10:17:38.000Z
href: ProofGeneral/PG@af2e7b9
diff --git a/doc/master/adaptingman/Beginning-with-a-New-Prover.html b/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>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Concept-Index.html b/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>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Configuring-Editing-Syntax.html b/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>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Configuring-Font-Lock.html b/doc/master/adaptingman/Configuring-Font-Lock.html
@@ -104,7 +104,7 @@ <h1 class="chapter">10. Configuring Font Lock</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Configuring-Proof_002dTree-Visualization.html b/doc/master/adaptingman/Configuring-Proof_002dTree-Visualization.html
@@ -455,7 +455,7 @@ <h3 class="subsection">12.4.2 Prooftree Adaption</h3>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Configuring-Tokens.html b/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>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Demonstration-Instantiations.html b/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>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Function-Index.html b/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>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Global-Constants.html b/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>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Goals-Buffer-Settings.html b/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>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Handling-Multiple-Files.html b/doc/master/adaptingman/Handling-Multiple-Files.html
@@ -190,7 +190,7 @@ <h1 class="chapter">8. Handling Multiple Files</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Internals-of-Proof-General.html b/doc/master/adaptingman/Internals-of-Proof-General.html
@@ -1256,7 +1256,7 @@ <h2 class="section">14.7 Debugging</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Introduction.html b/doc/master/adaptingman/Introduction.html
@@ -121,7 +121,7 @@ <h2 class="unnumberedsec">Credits</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Menus-and-Toolbar-and-User_002dlevel-Commands.html b/doc/master/adaptingman/Menus-and-Toolbar-and-User_002dlevel-Commands.html
@@ -179,7 +179,7 @@ <h2 class="section">2.3 Toolbar configuration</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/PG-adapting_abt.html b/doc/master/adaptingman/PG-adapting_abt.html
@@ -14,7 +14,7 @@
 </div>
 <h1>About This Document</h1>
 <p>
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
 </p>
 <p>
   The buttons in the navigation panels have the following meaning:
@@ -124,7 +124,7 @@ <h1>About This Document</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/PG-adapting_toc.html b/doc/master/adaptingman/PG-adapting_toc.html
@@ -130,7 +130,7 @@ <h1>Table of Contents</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Plans-and-Ideas.html b/doc/master/adaptingman/Plans-and-Ideas.html
@@ -167,7 +167,7 @@ <h2 class="section">A.3 Browser mode for script files and theories</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Proof-Script-Settings.html b/doc/master/adaptingman/Proof-Script-Settings.html
@@ -913,7 +913,7 @@ <h2 class="section">3.12 Completions</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Proof-Shell-Settings.html b/doc/master/adaptingman/Proof-Shell-Settings.html
@@ -748,7 +748,7 @@ <h2 class="section">4.5 Hooks and other settings</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Splash-Screen-Settings.html b/doc/master/adaptingman/Splash-Screen-Settings.html
@@ -55,7 +55,7 @@ <h1 class="chapter">6. Splash Screen Settings</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Variable-Index.html b/doc/master/adaptingman/Variable-Index.html
@@ -236,7 +236,7 @@ <h1 class="unnumbered">Variable and User Option Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Writing-More-Lisp-Code.html b/doc/master/adaptingman/Writing-More-Lisp-Code.html
@@ -248,7 +248,7 @@ <h2 class="section">13.4 Useful functions and macros</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/index.html b/doc/master/adaptingman/index.html
@@ -80,7 +80,7 @@ <h1 class="settitle">Proof General</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Advanced-Script-Management-and-Editing.html b/doc/master/userman/Advanced-Script-Management-and-Editing.html
@@ -692,7 +692,7 @@ <h2 class="section">3.11 Editing features</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Basic-Script-Management.html b/doc/master/userman/Basic-Script-Management.html
@@ -1109,7 +1109,7 @@ <h2 class="section">2.9 Interrupting during trace output</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Bugs-and-Enhancements.html b/doc/master/userman/Bugs-and-Enhancements.html
@@ -50,7 +50,7 @@ <h1 class="appendix">B. Bugs and Enhancements</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Concept-Index.html b/doc/master/userman/Concept-Index.html
@@ -286,7 +286,7 @@ <h1 class="unnumbered">Concept Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Coq-Proof-General.html b/doc/master/userman/Coq-Proof-General.html
@@ -1354,7 +1354,7 @@ <h2 class="section">10.13 Opam-switch-mode support</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Customizing-Proof-General.html b/doc/master/userman/Customizing-Proof-General.html
@@ -160,6 +160,18 @@ <h2 class="section">8.3 Display customization</h2>
 </pre></td></tr></table>
 <p>and you can save your preferred default. 
 </p>
+<p>The first option presented here is about the splash screen, which is
+shown by default on every launch of Proof General.
+</p>
+<dl>
+<dt><a class="anchor" id="index-proof_002dsplash_002denable"></a><u>User Option:</u> <b>proof-splash-enable</b></dt>
+<dd><p>If non-nil, display a splash screen when Proof General is loaded.<br>
+See &lsquo;<samp><code>proof-splash-time</code></samp>&rsquo; for configuring the time that the splash
+screen is shown.
+</p>
+<p>The default value is <code>t</code>.
+</p></dd></dl>
+
 <p>If your screen is large enough, you may prefer to display all three of
 the interaction buffers at once.  This is useful, for example, to see
 output from the <code>proof-find-theorems</code> command at the same time as
@@ -366,13 +378,6 @@ <h2 class="section">8.4 User options</h2>
 without needing to restart Emacs to see the effect.  But you must use
 customize to be sure that Proof General reconfigures itself properly.
 </p>
-<dl>
-<dt><a class="anchor" id="index-proof_002dsplash_002denable"></a><u>User Option:</u> <b>proof-splash-enable</b></dt>
-<dd><p>If non-nil, display a splash screen when Proof General is loaded.
-</p>
-<p>The default value is <code>t</code>.
-</p></dd></dl>
-
 <dl>
 <dt><a class="anchor" id="index-proof_002delectric_002dterminator_002denable"></a><u>User Option:</u> <b>proof-electric-terminator-enable</b></dt>
 <dd><p>If non-nil, use electric terminator mode.<br>
@@ -778,7 +783,7 @@ <h2 class="section">8.6 Tweaking configuration settings</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/EasyCrypt-Proof-General.html b/doc/master/userman/EasyCrypt-Proof-General.html
@@ -101,7 +101,7 @@ <h2 class="section">11.3 EasyCrypt customizations</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Function-Index.html b/doc/master/userman/Function-Index.html
@@ -140,7 +140,7 @@ <h1 class="unnumbered">Function and Command Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Graphical-Proof_002dTree-Visualization.html b/doc/master/userman/Graphical-Proof_002dTree-Visualization.html
@@ -152,7 +152,7 @@ <h2 class="section">7.3 Prooftree Customization</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Hints-and-Tips.html b/doc/master/userman/Hints-and-Tips.html
@@ -211,7 +211,7 @@ <h2 class="section">9.3 Using abbreviations</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/History-of-Proof-General.html b/doc/master/userman/History-of-Proof-General.html
@@ -379,7 +379,7 @@ <h2 class="unnumberedsec">Old News for 3.7</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Introducing-Proof-General.html b/doc/master/userman/Introducing-Proof-General.html
@@ -351,7 +351,7 @@ <h2 class="section">1.6 Organization of this manual</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Keystroke-Index.html b/doc/master/userman/Keystroke-Index.html
@@ -77,7 +77,7 @@ <h1 class="unnumbered">Keystroke Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Obtaining-and-Installing.html b/doc/master/userman/Obtaining-and-Installing.html
@@ -187,7 +187,7 @@ <h3 class="unnumberedsubsec">Removing support for unwanted provers</h3>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Preface.html b/doc/master/userman/Preface.html
@@ -322,7 +322,7 @@ <h2 class="unnumberedsec">Credits</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/ProofGeneral_22.html b/doc/master/userman/ProofGeneral_22.html
@@ -154,7 +154,7 @@ <h1 class="unnumbered">Concept Index: U &ndash; X</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>April 4, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>April 19, 2025</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/ProofGeneral_abt.html b/doc/master/userman/ProofGeneral_abt.html
diff --git a/doc/master/userman/ProofGeneral_fot.html b/doc/master/userman/ProofGeneral_fot.html
diff --git a/doc/master/userman/ProofGeneral_toc.html b/doc/master/userman/ProofGeneral_toc.html
diff --git a/doc/master/userman/References.html b/doc/master/userman/References.html
diff --git a/doc/master/userman/Shell-Proof-General.html b/doc/master/userman/Shell-Proof-General.html
diff --git a/doc/master/userman/Subterm-Activation-and-Proof-by-Pointing.html b/doc/master/userman/Subterm-Activation-and-Proof-by-Pointing.html
diff --git a/doc/master/userman/Support-for-other-Packages.html b/doc/master/userman/Support-for-other-Packages.html
diff --git a/doc/master/userman/Unicode-symbols-and-special-layout-support.html b/doc/master/userman/Unicode-symbols-and-special-layout-support.html
diff --git a/doc/master/userman/Variable-Index.html b/doc/master/userman/Variable-Index.html
diff --git a/doc/master/userman/index.html b/doc/master/userman/index.html
