Subject: CVS commit: pkgsrc/print/tex-lkproof
From: Mark Davies
Date: 2015-04-22 00:16:33
Message id: 20150421221633.70FB798@cvs.netbsd.org
Log Message:
Initial import tex-lkproof{,-doc}-3.1

The package defines a pair of commands \infer and \deduce, that
are used in constructing LK proof diagrams.
Files:
RevisionActionfile
1.1addpkgsrc/print/tex-lkproof/DESCR
1.1addpkgsrc/print/tex-lkproof/Makefile
1.1addpkgsrc/print/tex-lkproof/PLIST
1.1addpkgsrc/print/tex-lkproof/distinfo