summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/bussproofs-extra/README.md
blob: a9a6d58b2f4ca0ebfa815681929a41635e3f0203 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
bussproofs-extra
================

Additional functionality for bussproofs.sty. Specifically, it allows
for typesetting of entire (sub)deductions.

To install, download the files, and run 
```
latex bussproofs-extra.ins
```
To generate the documentation, run
```
pdflatex bussproofs-extra.dtx
```

This package is distributed under the terms of the LPPL 1.3c