diff options
Diffstat (limited to 'Master')
| -rw-r--r-- | Master/doc.html | 32 |
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. |