summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2014-12-02 02:19:32 +0000
committerKarl Berry <karl@freefriends.org>2014-12-02 02:19:32 +0000
commit8cd6e4ad945b3091a705d664491e1e181535d928 (patch)
tree5ba502f305decab1f0afe9905b7c6caa8fb20c95
parent625bd1e52975b32639a15eeca498bfbdc72fb9e2 (diff)
/home/texlive/karl/Master/tlpkg/bin/tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@35715 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Master/doc.html25
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.