summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2015-02-04 02:19:50 +0000
committerKarl Berry <karl@freefriends.org>2015-02-04 02:19:50 +0000
commite1c5b0c5148072b02e3066cefdcce17abd3de40b (patch)
tree1e5b6503de6555bc7027b786ef61ec4d3478128f /Master
parent55d502a7896383ea3656aa50726c1d43f6654646 (diff)
/home/texlive/karl/Master/tlpkg/bin/tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@36205 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r--Master/doc.html47
1 files changed, 26 insertions, 21 deletions
diff --git a/Master/doc.html b/Master/doc.html
index 76e86449386..b836a6a70f9 100644
--- a/Master/doc.html
+++ b/Master/doc.html
@@ -3956,6 +3956,11 @@ Utility for writing Bengali in Rapid Roman Format.
<a href="texmf-dist/doc/latex/ebong/eb.pdf">eb.pdf</a>.
</small></li>
+<li><b><a href="texmf-dist/doc/latex/ebproof">ebproof</a></b>:<small>
+Formal proofs in the style of sequent calculus.
+<a href="texmf-dist/doc/latex/ebproof/ebproof.pdf">ebproof.pdf</a>.
+</small></li>
+
<li><b><a href="texmf-dist/doc/latex/ebsthesis">ebsthesis</a></b>:<small>
Typesetting theses for economics
<a href="texmf-dist/doc/latex/ebsthesis/ebsthesis.pdf">ebsthesis.pdf</a>.
@@ -4626,7 +4631,7 @@ Extend the standard classes' size options.
<h2 id="letter-F">F</h2>
-<ol start="727">
+<ol start="728">
<li><b><a href="texmf-dist/doc/latex/facsimile">facsimile</a></b>:<small>
Document class for preparing faxes.
@@ -5344,7 +5349,7 @@ Get first and last words of a page.
<h2 id="letter-G">G</h2>
-<ol start="844">
+<ol start="845">
<li><b><a href="texmf-dist/doc/latex/g-brief">g-brief</a></b>:<small>
Letter document class.
@@ -5897,7 +5902,7 @@ Macros for typesetting the GuIT logo.
<h2 id="letter-H">H</h2>
-<ol start="932">
+<ol start="933">
<li><b><a href="texmf-dist/doc/latex/HA-prosper">HA-prosper</a></b>:<small>
Patches and improvements for prosper.
@@ -6159,7 +6164,7 @@ Basic support for multiple languages in Plain TeX.
<h2 id="letter-I">I</h2>
-<ol start="976">
+<ol start="977">
<li><b><a href="texmf-dist/doc/latex/ibycus-babel">ibycus-babel</a></b>:<small>
Use the Ibycus 4 Greek font with Babel
@@ -6483,7 +6488,7 @@ A two-element sans-serif font.
<h2 id="letter-J">J</h2>
-<ol start="1033">
+<ol start="1034">
<li><b><a href="texmf-dist/doc/fonts/jablantile">jablantile</a></b>:<small>
Metafont version of tiles in the style of Slavik Jablan.
@@ -6602,7 +6607,7 @@ A replacement for LaTeX's verbatim package.
<h2 id="letter-K">K</h2>
-<ol start="1051">
+<ol start="1052">
<li><b><a href="texmf-dist/doc/latex/kantlipsum">kantlipsum</a></b>:<small>
Generate sentences in Kant's style.
@@ -6828,7 +6833,7 @@ A two-element sans-serif typeface.
<h2 id="letter-L">L</h2>
-<ol start="1076">
+<ol start="1077">
<li><b><a href="texmf-dist/doc/latex/l2picfaq">l2picfaq</a></b>:<small>
LaTeX pictures "how-to" (German).
@@ -7964,7 +7969,7 @@ Set of slide fonts based on CM.
<h2 id="letter-M">M</h2>
-<ol start="1242">
+<ol start="1243">
<li><b><a href="texmf-dist/doc/generic/m-tx">m-tx</a></b>:<small>
A preprocessor for pmx.
@@ -9025,7 +9030,7 @@ Build a format based on the preamble of a LaTeX file.
<h2 id="letter-N">N</h2>
-<ol start="1398">
+<ol start="1399">
<li><b><a href="texmf-dist/doc/latex/nag">nag</a></b>:<small>
Detecting and warning about obsolete LaTeX commands
@@ -9374,7 +9379,7 @@ Print numbers with separators and exponent if necessary.
<h2 id="letter-O">O</h2>
-<ol start="1452">
+<ol start="1453">
<li><b><a href="texmf-dist/doc/latex/oberdiek">oberdiek</a></b>:<small>
A bundle of packages submitted by Heiko Oberdiek.
@@ -9656,7 +9661,7 @@ Combine LaTeX commands over included graphics.
<h2 id="letter-P">P</h2>
-<ol start="1483">
+<ol start="1484">
<li><b><a href="texmf-dist/doc/latex/pagecolor">pagecolor</a></b>:<small>
Interrogate page colour.
@@ -11183,7 +11188,7 @@ Run Python from within a document, typesetting the results.
<h2 id="letter-Q">Q</h2>
-<ol start="1721">
+<ol start="1722">
<li><b><a href="texmf-dist/doc/latex/qcircuit">qcircuit</a></b>:<small>
Macros to generate quantum ciruits
@@ -11242,7 +11247,7 @@ Consistent quote marks.
<h2 id="letter-R">R</h2>
-<ol start="1731">
+<ol start="1732">
<li><b><a href="texmf-dist/doc/latex/raleway">raleway</a></b>:<small>
Use Raleway with TeX(-alike) systems.
@@ -11584,7 +11589,7 @@ Class for Ryerson Unversity Graduate School requirements.
<h2 id="letter-S">S</h2>
-<ol start="1789">
+<ol start="1790">
<li><b><a href="texmf-dist/doc/latex/sa-tikz">sa-tikz</a></b>:<small>
TikZ library to draw switching architectures.
@@ -12649,7 +12654,7 @@ Format systems of equations.
<h2 id="letter-T">T</h2>
-<ol start="1959">
+<ol start="1960">
<li><b><a href="texmf-dist/doc/latex/t-angles">t-angles</a></b>:<small>
Draw tangles, trees, Hopf algebra operations and other pictures.
@@ -14108,7 +14113,7 @@ Print a typographic grid.
<h2 id="letter-U">U</h2>
-<ol start="2156">
+<ol start="2157">
<li><b><a href="texmf-dist/doc/latex/uaclasses">uaclasses</a></b>:<small>
University of Arizona thesis and dissertation format.
@@ -14382,7 +14387,7 @@ University of Washington thesis class.
<h2 id="letter-V">V</h2>
-<ol start="2204">
+<ol start="2205">
<li><b><a href="texmf-dist/doc/bibtex/vancouver">vancouver</a></b>:<small>
Bibliographic style file for Biomedical Journals.
@@ -14580,7 +14585,7 @@ Variable-width multiple text columns.
<h2 id="letter-W">W</h2>
-<ol start="2235">
+<ol start="2236">
<li><b><a href="texmf-dist/doc/fonts/wadalab">wadalab</a></b>:<small>
Wadalab (Japanese) font packages.
@@ -14679,7 +14684,7 @@ LaTeX class for Bavarian school w-seminar papers.
<h2 id="letter-X">X</h2>
-<ol start="2251">
+<ol start="2252">
<li><b><a href="texmf-dist/doc/latex/xargs">xargs</a></b>:<small>
Define commands with many optional arguments.
@@ -14986,7 +14991,7 @@ Tree macros using XY-Pic.
<h2 id="letter-Y">Y</h2>
-<ol start="2299">
+<ol start="2300">
<li><b><a href="texmf-dist/doc/latex/yafoot">yafoot</a></b>:<small>
A bundle of miscellaneous footnote packages.
@@ -15053,7 +15058,7 @@ Many-featured Young tableaux and Young diagrams.
<h2 id="letter-Z">Z</h2>
-<ol start="2308">
+<ol start="2309">
<li><b><a href="texmf-dist/doc/latex/zed-csp">zed-csp</a></b>:<small>
Typesetting Z and CSP format specifications.