diff options
Diffstat (limited to 'Master/texmf-doc/doc/english/catalogue/entries/bussproofs.html')
-rw-r--r-- | Master/texmf-doc/doc/english/catalogue/entries/bussproofs.html | 128 |
1 files changed, 0 insertions, 128 deletions
diff --git a/Master/texmf-doc/doc/english/catalogue/entries/bussproofs.html b/Master/texmf-doc/doc/english/catalogue/entries/bussproofs.html deleted file mode 100644 index 181af81d1d1..00000000000 --- a/Master/texmf-doc/doc/english/catalogue/entries/bussproofs.html +++ /dev/null @@ -1,128 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"> -<!--This file is automatically generated. Do not edit!--> -<html> -<head> - <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> - <meta http-equiv="Content-Style-Type" content="text/css"> - <title>The TeX Catalogue OnLine, Entry for bussproofs, Ctan Edition</title> - <script type="text/javascript" src="../ieHover.js"></script> - <link rel="stylesheet" type="text/css" href="../texcatalogue.css"> -</head> -<body> - <h1><a name="top"></a></h1> - <div id="titlediv"> - <a href="../index.html"> - <img src="../title.png" alt="The TeX Catalogue Online"/> - </a> - </div> - <p></p> - <div id="linkbar"> - <a href="http://tug.ctan.org/find.html">Search</a> | - <a href="../index.html">Home</a> | - <a href="../alpha.html">Alpha</a> | - <a href="../brief.html">Brief</a> | - <a href="../bytopic.html">Topical</a> | - <a href="../hier.html">Hierarchical</a> <!--| - <a href="../full.html">Full</a Available from Graham as PDF--> - </div> - <p></p> - <div id="content"> - <div id="content-top"> - <p class="pkgname"> - <a name="bussproofs">bussproofs</a> - </p> - <p class="pkgcaption"> - Proof trees in the style of the sequent calculus. - </p> - </div> - - <div id="pkgmain"> - <div class="description"> - <p> - The package allows the construction of proof trees in the style of - the sequent calculus and many other proof systems. One novel - feature of the macros is they support the horizontal alignment - according to some centre point specified with the command - \fCenter. This is the style often used in sequent calculus - proofs. - </p> - <p> - The package works in a Plain TeX document, as well as in LaTeX; an - exposition of the commands available is given in the package file - itself. - </p><p> The author is Sam Buss. The package is Copyright © 1994-1996,2004-2006 Samuel R. Buss.</p> - </div> - <p class="pkgdata"> - - License: <strong><a href="../licenses.lppl1.3.html">lppl1.3</a></strong> - Version: <strong>1.0</strong> - Catalogued: <strong>2006-11-29</strong> - </p> - </div> - <div id="linklist"> - <ul id="links"> - - <li><a href="#Visit"> - <img src="../search.png" ALT="search">Visit</a> - <ul> - <li> <a href="../../../macros/latex/contrib/bussproofs/"> - <img src="../search.png" ALT="search"> - Visit a nearby CTAN:/macros/latex/contrib/bussproofs. If this fails, try Cambridge.</a> - </li> - <li> - <a href="ftp://cam.ctan.org/tex-archive/macros/latex/contrib/bussproofs"><img src="../dir.png" alt="download">Visit Cambridge:/macros/latex/contrib/bussproofs</a> - </li> - </ul> - </li> - - <li><a href="#Download"><img src="../tar.png" ALT="download">Download</a> - <ul> - <li> - <a href="http://theory.uwinnipeg.ca/scripts/CTAN/macros/latex/contrib/bussproofs.zip"><img src="../tar.png" ALT="zip"> - Download from a nearby CTAN (automatically identified).</a> - </li> - <li> - <a href="ftp://cam.ctan.org/tex-archive/macros/latex/contrib/bussproofs.zip"> - <img src="../tar.png" ALT="zip">Download from Cambridge.</a> - </li> - </ul> - </li> -<li> - <a href="http://math.ucsd.edu/~sbuss/ResearchWeb/bussproofs/"><img src="../home.png" ALT="Homepage">Visit the Package Home Page</a> - </li> -<li><a href="#Docs"><img src="../doc.png" ALT="Documentation">Documentation</a> - <ul> - - <li> - <a href="../../../macros/latex/contrib/bussproofs/testbp2.pdf"><img src="../acroread.png" ALT="Documentation">Test/example of use: testbp2.pdf.</a> - </li> - - <li> - <a href="http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/guides/BussGuide2.pdf"><img src="../acroread.png">Third-party documentation: http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/guides/BussGuide2.pdf.</a> - </li> - </ul> - - <li><a href="#Dist"><img src="../texlive.png" alt="TeXLive">Distributions</a> - <ul> - - <li> - <a href="http://www.miktex.org/"> - <img src="../miktex.png" alt="MikTeX">This package is included in MikTeX.</a> - </li> - - </ul> - </li> - </ul> - </div> - - </div> - - <div id="spacer"></div> - <div id="footer"> - Copyright © 1986-2006 - <a href="http://www.togaware.com">Graham.Williams@togaware.com</a>. - This page was generated 2006-11-29 22:07:10. - </div> - -</body> -</html> |