blob: 2b8ed7088ce7315806aa738a4bcafdf96b477f7e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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
makeindex -s gglo.ist -o bussproofs-extra.gls bussproofs-extra.glo
pdflatex bussproofs-extra.dtx
pdflatex bussproofs-extra.dtx
```
This package is distributed under the terms of the LPPL 1.3c
|