2832036fe9
The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.
11 lines
261 B
Makefile
11 lines
261 B
Makefile
# $NetBSD: Makefile,v 1.1 2015/04/21 22:16:33 markd Exp $
|
|
|
|
DISTNAME= lkproof
|
|
PKGNAME= tex-${DISTNAME}-3.1
|
|
TEXLIVE_REV= 20021
|
|
|
|
MAINTAINER= markd@NetBSD.org
|
|
COMMENT= LK Proof figure macros
|
|
|
|
.include "../../print/texlive/package.mk"
|
|
.include "../../mk/bsd.pkg.mk"
|