diff options
| author | markd <markd> | 2015-04-21 22:16:33 +0000 |
|---|---|---|
| committer | markd <markd> | 2015-04-21 22:16:33 +0000 |
| commit | 8c4cc0279b13a7c9f43ac2458ab37d6e6ca92a5d (patch) | |
| tree | 5ecd1e52727773be67b5a22a0857aa56030f6430 /print/tex-lkproof-doc/PLIST | |
| parent | a828a55317243e7b393a7372c049870304fb86c7 (diff) | |
| download | pkgsrc-8c4cc0279b13a7c9f43ac2458ab37d6e6ca92a5d.tar.gz | |
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.
Diffstat (limited to 'print/tex-lkproof-doc/PLIST')
| -rw-r--r-- | print/tex-lkproof-doc/PLIST | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/print/tex-lkproof-doc/PLIST b/print/tex-lkproof-doc/PLIST new file mode 100644 index 00000000000..a694c4805ab --- /dev/null +++ b/print/tex-lkproof-doc/PLIST @@ -0,0 +1,4 @@ +@comment $NetBSD: PLIST,v 1.1 2015/04/21 22:17:23 markd Exp $ +share/texmf-dist/doc/latex/lkproof/lkproof-doc.pdf +share/texmf-dist/doc/latex/lkproof/lkproof-doc.tex +share/texmf-dist/doc/latex/lkproof/proofeg.tex |