diff options
author | jaapb <jaapb@pkgsrc.org> | 2015-05-29 11:37:24 +0000 |
---|---|---|
committer | jaapb <jaapb@pkgsrc.org> | 2015-05-29 11:37:24 +0000 |
commit | 1ea01997dc0af3f8b1cdf63eb4604a0bd523d04f (patch) | |
tree | 4982fb546ef30f200f48e2f3e6f779dce3fdf6b0 /print | |
parent | 74abd645c2a0d6732be289e581c118ebe066036e (diff) | |
download | pkgsrc-1ea01997dc0af3f8b1cdf63eb4604a0bd523d04f.tar.gz |
Added print/tex-bussproofs 1.1, a TeX package to produce proof trees in
the style of the sequent calculus.
Diffstat (limited to 'print')
-rw-r--r-- | print/tex-bussproofs/DESCR | 8 | ||||
-rw-r--r-- | print/tex-bussproofs/Makefile | 12 | ||||
-rw-r--r-- | print/tex-bussproofs/PLIST | 2 | ||||
-rw-r--r-- | print/tex-bussproofs/distinfo | 5 |
4 files changed, 27 insertions, 0 deletions
diff --git a/print/tex-bussproofs/DESCR b/print/tex-bussproofs/DESCR new file mode 100644 index 00000000000..040afe8ecc1 --- /dev/null +++ b/print/tex-bussproofs/DESCR @@ -0,0 +1,8 @@ +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. 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. diff --git a/print/tex-bussproofs/Makefile b/print/tex-bussproofs/Makefile new file mode 100644 index 00000000000..75f8086c079 --- /dev/null +++ b/print/tex-bussproofs/Makefile @@ -0,0 +1,12 @@ +# $NetBSD: Makefile,v 1.1 2015/05/29 11:37:24 jaapb Exp $ + +DISTNAME= bussproofs +PKGNAME= tex-${DISTNAME}-1.1 +TEXLIVE_REV= 27488 + +MAINTAINER= jaapb@NetBSD.org +COMMENT= Proof trees in the style of the sequent calculus +LICENSE= lppl-1.3c + +.include "../../print/texlive/package.mk" +.include "../../mk/bsd.pkg.mk" diff --git a/print/tex-bussproofs/PLIST b/print/tex-bussproofs/PLIST new file mode 100644 index 00000000000..a63cebf39ca --- /dev/null +++ b/print/tex-bussproofs/PLIST @@ -0,0 +1,2 @@ +@comment $NetBSD: PLIST,v 1.1 2015/05/29 11:37:24 jaapb Exp $ +share/texmf-dist/tex/latex/bussproofs/bussproofs.sty diff --git a/print/tex-bussproofs/distinfo b/print/tex-bussproofs/distinfo new file mode 100644 index 00000000000..22ec82ef5c7 --- /dev/null +++ b/print/tex-bussproofs/distinfo @@ -0,0 +1,5 @@ +$NetBSD: distinfo,v 1.1 2015/05/29 11:37:24 jaapb Exp $ + +SHA1 (tex-bussproofs-27488/bussproofs.tar.xz) = f7513522c86775eb3664fc80bc06d159f4d630f9 +RMD160 (tex-bussproofs-27488/bussproofs.tar.xz) = c980c62ea909404e27cfb346cf301efbd1cb4ddf +Size (tex-bussproofs-27488/bussproofs.tar.xz) = 8772 bytes |