kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/print/tex-lkproof/PLIST

3 lines
107 B
Text
Raw Normal View History

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.
2015-04-22 00:16:33 +02:00
@comment $NetBSD: PLIST,v 1.1 2015/04/21 22:16:33 markd Exp $
share/texmf-dist/tex/latex/lkproof/proof.sty
Reference in a new issue Copy permalink