Auto-Update {userman, adaptingman}

href: ProofGeneral/PG@caa100e

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</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

@@ -455,7 +455,7 @@ <h3 class="subsection">12.4.2 Prooftree Adaption</h3>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/adaptingman/PG-adapting_abt.html

@@ -14,7 +14,7 @@
 </div>
 <h1>About This Document</h1>
 <p>
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/adaptingman/PG-adapting_toc.html

@@ -129,7 +129,7 @@ <h1>Table of Contents</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/adaptingman/Proof-Script-Settings.html

@@ -843,7 +843,7 @@ <h2 class="section">3.11 Completions</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/adaptingman/Variable-Index.html

@@ -233,7 +233,7 @@ <h1 class="unnumbered">Variable and User Option Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/userman/Advanced-Script-Management-and-Editing.html

@@ -550,7 +550,7 @@ <h2 class="section">3.10 Editing features</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/userman/Concept-Index.html

@@ -179,8 +179,8 @@ <h1 class="unnumbered">Concept Index</h1>
 <tr><td></td><td valign="top"><a href="/doc/master/userman/Customizing-Proof-General#index-Proof-script-indentation">Proof script indentation</a></td><td valign="top"><a href="/doc/master/userman/Customizing-Proof-General#User-options">8.4 User options</a></td></tr>
 <tr><td></td><td valign="top"><a href="/doc/master/userman/Basic-Script-Management#index-proof-script-mode">proof script mode</a></td><td valign="top"><a href="/doc/master/userman/Basic-Script-Management#Script-buffers">2.3 Script buffers</a></td></tr>
 <tr><td></td><td valign="top"><a href="/doc/master/userman/Coq-Proof-General#index-Proof-using">Proof using</a></td><td valign="top"><a href="/doc/master/userman/Coq-Proof-General#Proof-using-annotations">10.3 Proof using annotations</a></td></tr>
-<tr><td></td><td valign="top"><a href="/doc/master/userman/Coq-Proof-General#index-Proof_002dTree-visualization">Proof-Tree visualization</a></td><td valign="top"><a href="/doc/master/userman/Coq-Proof-General#Proof_002dTree-Visualization">10.10 Proof-Tree Visualization</a></td></tr>
 <tr><td></td><td valign="top"><a href="/doc/master/userman/Graphical-Proof_002dTree-Visualization#index-proof_002dtree-visualization">proof-tree visualization</a></td><td valign="top"><a href="/doc/master/userman/Graphical-Proof_002dTree-Visualization#Graphical-Proof_002dTree-Visualization">7. Graphical Proof-Tree Visualization</a></td></tr>
+<tr><td></td><td valign="top"><a href="/doc/master/userman/Coq-Proof-General#index-Proof_002dTree-visualization">Proof-Tree visualization</a></td><td valign="top"><a href="/doc/master/userman/Coq-Proof-General#Proof_002dTree-Visualization">10.10 Proof-Tree Visualization</a></td></tr>
 <tr><td colspan="3"> <hr></td></tr>
 <tr><th><a class="anchor" id="Concept-Index-1_cp_letter-Q">Q</a></th><td></td><td></td></tr>
 <tr><td></td><td valign="top"><a href="/doc/master/userman/Customizing-Proof-General#index-Query-program-name">Query program name</a></td><td valign="top"><a href="/doc/master/userman/Customizing-Proof-General#User-options">8.4 User options</a></td></tr>
@@ -285,7 +285,7 @@ <h1 class="unnumbered">Concept Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/userman/Coq-Proof-General.html

@@ -1312,7 +1312,7 @@ <h2 class="section">10.12 Opam-switch-mode support</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/userman/Customizing-Proof-General.html

@@ -774,7 +774,7 @@ <h2 class="section">8.6 Tweaking configuration settings</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/userman/Function-Index.html

@@ -138,7 +138,7 @@ <h1 class="unnumbered">Function and Command Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/userman/ProofGeneral_abt.html

@@ -14,7 +14,7 @@
 </div>
 <h1>About This Document</h1>
 <p>
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 

doc/master/userman/ProofGeneral_fot.html

@@ -51,7 +51,7 @@ <h3><a id="FOOT1" href="/doc/master/userman/Introducing-Proof-General#DOCF1">(1)
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>