summaryrefslogtreecommitdiff
path: root/Master/texmf-doc/doc/english/catalogue/entries/bussproofs.html
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-doc/doc/english/catalogue/entries/bussproofs.html')
-rw-r--r--Master/texmf-doc/doc/english/catalogue/entries/bussproofs.html128
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 &copy; 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 &copy; 1986-2006
- <a href="http://www.togaware.com">Graham.Williams@togaware.com</a>.&nbsp;&nbsp;
- This page was generated 2006-11-29 22:07:10.
- </div>
-
-</body>
-</html>