Subject: CVS commit: pkgsrc/print/tex-bussproofs
From: Jaap Boender
Date: 2015-05-29 13:37:24
Message id: 20150529113724.57C7398@cvs.netbsd.org
Log Message:
Added print/tex-bussproofs 1.1, a TeX package to produce proof trees in
the style of the sequent calculus.
Files:
RevisionActionfile
1.1addpkgsrc/print/tex-bussproofs/DESCR
1.1addpkgsrc/print/tex-bussproofs/Makefile
1.1addpkgsrc/print/tex-bussproofs/PLIST
1.1addpkgsrc/print/tex-bussproofs/distinfo