Subject: CVS commit: pkgsrc/print/tex-lkproof-doc
From: Mark Davies
Date: 2015-04-22 00:17:23
Message id: 20150421221723.A16BD98@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-doc/DESCR
1.1addpkgsrc/print/tex-lkproof-doc/Makefile
1.1addpkgsrc/print/tex-lkproof-doc/PLIST
1.1addpkgsrc/print/tex-lkproof-doc/distinfo