/home/texlive/karl/Master/tlpkg/bin/tl-update-auto

git-svn-id: svn://tug.org/texlive/trunk@33257 c570f23f-e606-0410-a88d-b1316a301751

1 files changed, 18 insertions, 14 deletions

diff --git a/Master/doc.html b/Master/doc.html
index 41ad990faf4..a5789ddcb4e 100644
--- a/Master/doc.html
+++ b/Master/doc.html
@@ -6863,6 +6863,10 @@ e-TeX showbox facilities for exploration purposes.
 <a href="texmf-dist/doc/latex/logbox/logbox.pdf">logbox.pdf</a>.
 </small></li>
 
+<li><b><a href="texmf-dist/doc/latex/logicproof">logicproof</a></b>:<small>
+<a href="texmf-dist/doc/latex/logicproof/logicproof.pdf">logicproof.pdf</a>.
+</small></li>
+
 <li><b><a href="texmf-dist/doc/latex/logicpuzzle">logicpuzzle</a></b>:<small>
 Typeset (grid-based) logic puzzles.
 <a href="texmf-dist/doc/latex/logicpuzzle/logicpuzzle.pdf">logicpuzzle.pdf</a>.
@@ -7275,7 +7279,7 @@ Set of slide fonts based on CM.
 
 <h2 id="letter-M">M</h2>
 
-<ol start="1140">
+<ol start="1141">
 
 <li><b><a href="texmf-dist/doc/generic/m-tx">m-tx</a></b>:<small>
 A preprocessor for pmx.
@@ -8314,7 +8318,7 @@ Build a format based on the preamble of a LaTeX file.
 
 <h2 id="letter-N">N</h2>
 
-<ol start="1292">
+<ol start="1293">
 
 <li><b><a href="texmf-dist/doc/latex/nag">nag</a></b>:<small>
 Detecting and warning about obsolete LaTeX commands
@@ -8653,7 +8657,7 @@ Print numbers with separators and exponent if necessary.
 
 <h2 id="letter-O">O</h2>
 
-<ol start="1344">
+<ol start="1345">
 
 <li><b><a href="texmf-dist/doc/latex/oberdiek">oberdiek</a></b>:<small>
 A bundle of packages submitted by Heiko Oberdiek.
@@ -8926,7 +8930,7 @@ Combine LaTeX commands over included graphics.
 
 <h2 id="letter-P">P</h2>
 
-<ol start="1373">
+<ol start="1374">
 
 <li><b><a href="texmf-dist/doc/latex/pagecolor">pagecolor</a></b>:<small>
 Interrogate page colour.
@@ -10401,7 +10405,7 @@ Run Python from within a document, typesetting the results.
 
 <h2 id="letter-Q">Q</h2>
 
-<ol start="1604">
+<ol start="1605">
 
 <li><b><a href="texmf-dist/doc/latex/qcm">qcm</a></b>:<small>
 A LaTeX2e class for making multiple choice questionnaires
@@ -10450,7 +10454,7 @@ Consistent quote marks.
 
 <h2 id="letter-R">R</h2>
 
-<ol start="1612">
+<ol start="1613">
 
 <li><b><a href="texmf-dist/doc/latex/raleway">raleway</a></b>:<small>
 Use Raleway with TeX(-alike) systems.
@@ -10781,7 +10785,7 @@ Class for Ryerson Unversity Graduate School requirements.
 
 <h2 id="letter-S">S</h2>
 
-<ol start="1668">
+<ol start="1669">
 
 <li><b><a href="texmf-dist/doc/latex/sa-tikz">sa-tikz</a></b>:<small>
 TikZ library to draw switching architectures.
@@ -11790,7 +11794,7 @@ Format systems of equations.
 
 <h2 id="letter-T">T</h2>
 
-<ol start="1831">
+<ol start="1832">
 
 <li><b><a href="texmf-dist/doc/latex/t-angles">t-angles</a></b>:<small>
 Draw tangles, trees, Hopf algebra operations and other pictures.
@@ -13165,7 +13169,7 @@ Print a typographic grid.
 
 <h2 id="letter-U">U</h2>
 
-<ol start="2018">
+<ol start="2019">
 
 <li><b><a href="texmf-dist/doc/latex/uaclasses">uaclasses</a></b>:<small>
 University of Arizona thesis and dissertation format.
@@ -13412,7 +13416,7 @@ University of Washington thesis class.
 
 <h2 id="letter-V">V</h2>
 
-<ol start="2062">
+<ol start="2063">
 
 <li><b><a href="texmf-dist/doc/bibtex/vancouver">vancouver</a></b>:<small>
 Bibliographic style file for Biomedical Journals.
@@ -13609,7 +13613,7 @@ Variable-width multiple text columns.
 
 <h2 id="letter-W">W</h2>
 
-<ol start="2093">
+<ol start="2094">
 
 <li><b><a href="texmf-dist/doc/fonts/wadalab">wadalab</a></b>:<small>
 Wadalab (Japanese) font packages.
@@ -13702,7 +13706,7 @@ LaTeX class for Bavarian school w-seminar papers.
 
 <h2 id="letter-X">X</h2>
 
-<ol start="2109">
+<ol start="2110">
 
 <li><b><a href="texmf-dist/doc/latex/xargs">xargs</a></b>:<small>
 Define commands with many optional arguments.
@@ -13991,7 +13995,7 @@ Tree macros using XY-Pic.
 
 <h2 id="letter-Y">Y</h2>
 
-<ol start="2155">
+<ol start="2156">
 
 <li><b><a href="texmf-dist/doc/latex/yafoot">yafoot</a></b>:<small>
 A bundle of miscellaneous footnote packages.
@@ -14039,7 +14043,7 @@ Many-featured Young tableaux and Young diagrams.
 
 <h2 id="letter-Z">Z</h2>
 
-<ol start="2163">
+<ol start="2164">
 
 <li><b><a href="texmf-dist/doc/latex/zed-csp">zed-csp</a></b>:<small>
 Typesetting Z and CSP format specifications.