CVS commit: pkgsrc/print/tex-lkproof

["Mark Davies" <markd%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   markd
Date:           Tue Apr 21 22:16:33 UTC 2015

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

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.


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

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