CVS commit: pkgsrc/print/tex-bussproofs

["Jaap Boender" <jaapb%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   jaapb
Date:           Fri May 29 11:37:24 UTC 2015

Added Files:
        pkgsrc/print/tex-bussproofs: DESCR Makefile PLIST distinfo

Log Message:
Added print/tex-bussproofs 1.1, a TeX package to produce proof trees in
the style of the sequent calculus.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/print/tex-bussproofs/DESCR \
    pkgsrc/print/tex-bussproofs/Makefile pkgsrc/print/tex-bussproofs/PLIST \
    pkgsrc/print/tex-bussproofs/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.