summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2014-01-17 02:22:39 +0000
committerKarl Berry <karl@freefriends.org>2014-01-17 02:22:39 +0000
commit50de82c899ea30f147ffe78828942d6887ff91fa (patch)
tree9bd8e02713f14fe87c7e4af410c58e2cc52d68a3 /Master
parentf2684332fe3c208f6c91e8666e0a1ffa3163b229 (diff)
/home/texlive/karl/Master/tlpkg/bin/tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@32695 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r--Master/doc.html30
1 files changed, 18 insertions, 12 deletions
diff --git a/Master/doc.html b/Master/doc.html
index 0f317880136..b0505a562ca 100644
--- a/Master/doc.html
+++ b/Master/doc.html
@@ -8291,6 +8291,12 @@ Flexible bibliography support.
<a href="texmf-dist/doc/latex/natbib/natnotes.pdf">natnotes.pdf</a>.
</small></li>
+<li><b><a href="texmf-dist/doc/latex/natded">natded</a></b>:<small>
+Typeset natural deduction proofs.
+<a href="texmf-dist/doc/latex/natded/extended_doc.pdf">extended_doc.pdf</a>,
+<a href="texmf-dist/doc/latex/natded/natded.pdf">natded.pdf</a>.
+</small></li>
+
<li><b><a href="texmf-dist/doc/latex/nath">nath</a></b>:<small>
Natural mathematics notation.
<a href="texmf-dist/doc/latex/nath/nathguide.pdf">nathguide.pdf</a>.
@@ -8596,7 +8602,7 @@ Print numbers with separators and exponent if necessary.
<h2 id="letter-O">O</h2>
-<ol start="1336">
+<ol start="1337">
<li><b><a href="texmf-dist/doc/latex/oberdiek">oberdiek</a></b>:<small>
A bundle of packages submitted by Heiko Oberdiek.
@@ -8869,7 +8875,7 @@ Combine LaTeX commands over included graphics.
<h2 id="letter-P">P</h2>
-<ol start="1365">
+<ol start="1366">
<li><b><a href="texmf-dist/doc/latex/pagecolor">pagecolor</a></b>:<small>
Interrogate page colour.
@@ -10321,7 +10327,7 @@ Run Python from within a document, typesetting the results.
<h2 id="letter-Q">Q</h2>
-<ol start="1592">
+<ol start="1593">
<li><b><a href="texmf-dist/doc/latex/qcm">qcm</a></b>:<small>
A LaTeX2e class for making multiple choice questionnaires
@@ -10370,7 +10376,7 @@ Consistent quote marks.
<h2 id="letter-R">R</h2>
-<ol start="1600">
+<ol start="1601">
<li><b><a href="texmf-dist/doc/latex/raleway">raleway</a></b>:<small>
Use Raleway with TeX(-alike) systems.
@@ -10685,7 +10691,7 @@ Class for Ryerson Unversity Graduate School requirements.
<h2 id="letter-S">S</h2>
-<ol start="1655">
+<ol start="1656">
<li><b><a href="texmf-dist/doc/latex/sa-tikz">sa-tikz</a></b>:<small>
TikZ library to draw switching architectures.
@@ -11701,7 +11707,7 @@ Format systems of equations.
<h2 id="letter-T">T</h2>
-<ol start="1819">
+<ol start="1820">
<li><b><a href="texmf-dist/doc/latex/t-angles">t-angles</a></b>:<small>
Draw tangles, trees, Hopf algebra operations and other pictures.
@@ -13061,7 +13067,7 @@ Print a typographic grid.
<h2 id="letter-U">U</h2>
-<ol start="2003">
+<ol start="2004">
<li><b><a href="texmf-dist/doc/latex/uaclasses">uaclasses</a></b>:<small>
University of Arizona thesis and dissertation format.
@@ -13309,7 +13315,7 @@ University of Washington thesis class.
<h2 id="letter-V">V</h2>
-<ol start="2047">
+<ol start="2048">
<li><b><a href="texmf-dist/doc/bibtex/vancouver">vancouver</a></b>:<small>
Bibliographic style file for Biomedical Journals.
@@ -13487,7 +13493,7 @@ Variable-width multiple text columns.
<h2 id="letter-W">W</h2>
-<ol start="2077">
+<ol start="2078">
<li><b><a href="texmf-dist/doc/fonts/wadalab">wadalab</a></b>:<small>
Wadalab (Japanese) font packages.
@@ -13580,7 +13586,7 @@ LaTeX class for Bavarian school w-seminar papers.
<h2 id="letter-X">X</h2>
-<ol start="2093">
+<ol start="2094">
<li><b><a href="texmf-dist/doc/latex/xargs">xargs</a></b>:<small>
Define commands with many optional arguments.
@@ -13869,7 +13875,7 @@ Tree macros using XY-Pic.
<h2 id="letter-Y">Y</h2>
-<ol start="2139">
+<ol start="2140">
<li><b><a href="texmf-dist/doc/latex/yafoot">yafoot</a></b>:<small>
A bundle of miscellaneous footnote packages.
@@ -13917,7 +13923,7 @@ Many-featured Young tableaux and Young diagrams.
<h2 id="letter-Z">Z</h2>
-<ol start="2147">
+<ol start="2148">
<li><b><a href="texmf-dist/doc/latex/zed-csp">zed-csp</a></b>:<small>
Typesetting Z and CSP format specifications.