diff options
author | Karl Berry <karl@freefriends.org> | 2014-12-02 02:19:32 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-12-02 02:19:32 +0000 |
commit | 8cd6e4ad945b3091a705d664491e1e181535d928 (patch) | |
tree | 5ba502f305decab1f0afe9905b7c6caa8fb20c95 /Master/doc.html | |
parent | 625bd1e52975b32639a15eeca498bfbdc72fb9e2 (diff) |
/home/texlive/karl/Master/tlpkg/bin/tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@35715 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/doc.html')
-rw-r--r-- | Master/doc.html | 25 |
1 files changed, 15 insertions, 10 deletions
diff --git a/Master/doc.html b/Master/doc.html index 8521ecf8fc0..a3804e08e03 100644 --- a/Master/doc.html +++ b/Master/doc.html @@ -10336,6 +10336,11 @@ Extract bits of a LaTeX source for output. <a href="texmf-dist/doc/latex/preview/preview.pdf">preview.pdf</a>. </small></li> +<li><b><a href="texmf-dist/doc/latex/prftree">prftree</a></b>:<small> +Macros for building proof trees. +<a href="texmf-dist/doc/latex/prftree/prftreedoc.pdf">prftreedoc.pdf</a>. +</small></li> + <li><b><a href="texmf-dist/doc/latex/printlen">printlen</a></b>:<small> Print lengths using specified units. <a href="texmf-dist/doc/latex/printlen/printlen-doc.pdf">printlen-doc.pdf</a>. @@ -11104,7 +11109,7 @@ Run Python from within a document, typesetting the results. <h2 id="letter-Q">Q</h2> -<ol start="1706"> +<ol start="1707"> <li><b><a href="texmf-dist/doc/latex/qcircuit">qcircuit</a></b>:<small> Macros to generate quantum ciruits @@ -11163,7 +11168,7 @@ Consistent quote marks. <h2 id="letter-R">R</h2> -<ol start="1716"> +<ol start="1717"> <li><b><a href="texmf-dist/doc/latex/raleway">raleway</a></b>:<small> Use Raleway with TeX(-alike) systems. @@ -11505,7 +11510,7 @@ Class for Ryerson Unversity Graduate School requirements. <h2 id="letter-S">S</h2> -<ol start="1774"> +<ol start="1775"> <li><b><a href="texmf-dist/doc/latex/sa-tikz">sa-tikz</a></b>:<small> TikZ library to draw switching architectures. @@ -12564,7 +12569,7 @@ Format systems of equations. <h2 id="letter-T">T</h2> -<ol start="1943"> +<ol start="1944"> <li><b><a href="texmf-dist/doc/latex/t-angles">t-angles</a></b>:<small> Draw tangles, trees, Hopf algebra operations and other pictures. @@ -14008,7 +14013,7 @@ Print a typographic grid. <h2 id="letter-U">U</h2> -<ol start="2137"> +<ol start="2138"> <li><b><a href="texmf-dist/doc/latex/uaclasses">uaclasses</a></b>:<small> University of Arizona thesis and dissertation format. @@ -14276,7 +14281,7 @@ University of Washington thesis class. <h2 id="letter-V">V</h2> -<ol start="2184"> +<ol start="2185"> <li><b><a href="texmf-dist/doc/bibtex/vancouver">vancouver</a></b>:<small> Bibliographic style file for Biomedical Journals. @@ -14473,7 +14478,7 @@ Variable-width multiple text columns. <h2 id="letter-W">W</h2> -<ol start="2215"> +<ol start="2216"> <li><b><a href="texmf-dist/doc/fonts/wadalab">wadalab</a></b>:<small> Wadalab (Japanese) font packages. @@ -14572,7 +14577,7 @@ LaTeX class for Bavarian school w-seminar papers. <h2 id="letter-X">X</h2> -<ol start="2231"> +<ol start="2232"> <li><b><a href="texmf-dist/doc/latex/xargs">xargs</a></b>:<small> Define commands with many optional arguments. @@ -14874,7 +14879,7 @@ Tree macros using XY-Pic. <h2 id="letter-Y">Y</h2> -<ol start="2278"> +<ol start="2279"> <li><b><a href="texmf-dist/doc/latex/yafoot">yafoot</a></b>:<small> A bundle of miscellaneous footnote packages. @@ -14941,7 +14946,7 @@ Many-featured Young tableaux and Young diagrams. <h2 id="letter-Z">Z</h2> -<ol start="2287"> +<ol start="2288"> <li><b><a href="texmf-dist/doc/latex/zed-csp">zed-csp</a></b>:<small> Typesetting Z and CSP format specifications. |