diff options
| -rw-r--r-- | Master/doc.html | 47 |
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. |