pkgsrc-Changes archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS commit: pkgsrc/print/tex-lkproof-doc



Module Name:    pkgsrc
Committed By:   markd
Date:           Tue Apr 21 22:17:23 UTC 2015

Added Files:
        pkgsrc/print/tex-lkproof-doc: 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-doc/DESCR \
    pkgsrc/print/tex-lkproof-doc/Makefile pkgsrc/print/tex-lkproof-doc/PLIST \
    pkgsrc/print/tex-lkproof-doc/distinfo

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




Home | Main Index | Thread Index | Old Index