Auto-Update {userman, adaptingman}

href: ProofGeneral/PG@85cde55

Author: proofbot

doc/master/userman/Concept-Index.html

@@ -180,8 +180,8 @@ <h1 class="unnumbered">Concept Index</h1>
 <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/Advanced-Script-Management-and-Editing#index-Proof-status-statistic">Proof status statistic</a></td><td valign="top"><a href="/doc/master/userman/Advanced-Script-Management-and-Editing#Proof-status-statistic">3.8 Proof status statistic</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.11 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.11 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>