tex-lkproof - LK Proof figure macros

Property Value
Distribution NetBSD 7.2
Repository NetBSD i386
Package filename tex-lkproof-3.1.tgz
Package name tex-lkproof
Package version 3.1
Package release -
Package architecture i386
Package type tgz
Category print
Homepage http://www.tug.org/texlive/
License gnu-gpl-v2
Maintainer -
Download size 5.10 KB
Installed size 7.07 KB
The package defines a pair of commands \infer and \deduce, that
are used in constructing LK proof diagrams.


Package Version Architecture Repository
tex-lkproof-3.1.tgz 3.1 amd64 NetBSD
tex-lkproof - - -


Name Value
kpathsea >= 3.5.7


Type URL
Mirror ftp.netbsd.org
Binary Package tex-lkproof-3.1.tgz
Source Package tex-lkproof

Install Howto

Install tex-lkproof tgz package:

# pkg_add tex-lkproof

See Also

Package Description
tex-lkproof-doc-3.1.tgz Documentation for tex-lkproof
tex-lm-2.004nb2.tgz Latin modern fonts in outline formats
tex-lm-doc-2.004.tgz Documentation for tex-lm
tex-lm-math-1.959.tgz OpenType maths fonts for Latin Modern
tex-lm-math-doc-1.959.tgz Documentation for tex-lm-math
tex-lobster2-2014.tgz Lobster Two fonts, with support for all LaTeX engines
tex-lobster2-doc-2014.tgz Documentation for tex-lobster2
tex-localloc-1.1b.tgz Macros for localizing TeX register allocations
tex-localloc-doc-1.1b.tgz Documentation for tex-localloc
tex-logreq-1.0.tgz Support for automation of the LaTeX workflow
tex-logreq-doc-1.0.tgz Documentation for tex-logreq
tex-lollipop-1.07nb1.tgz TeX made easy
tex-lollipop-doc-1.07.tgz Documentation for tex-lollipop
tex-longfbox-1.0.tgz Draw framed boxes with standard CSS attributes that can break over multiple pages
tex-longfbox-doc-1.0.tgz Documentation for tex-longfbox