1b07c65417
The package provides macros for typesetting math formulas in mixed horizontal and vertical mode, automatically as best fit. It provides an environment mathpar that behaves much as a loose centered paragraph where words are math formulas, and spaces between them are larger and adjustable. It also provides a macro \inferrule for typeseting fractions where both the numerator and denominator may be sequences of formulas that will be also typeset in a similar way. It can typically be used for typeseting sets of type inference rules or typing derivations. A macro inferrule for typesetting type inference rules.
15 lines
431 B
Makefile
15 lines
431 B
Makefile
# $NetBSD: Makefile,v 1.1 2018/01/18 11:00:44 markd Exp $
|
|
|
|
DISTNAME= mathpartir
|
|
PKGNAME= tex-${DISTNAME}-1.3.2
|
|
TEXLIVE_REV= 39864
|
|
|
|
MAINTAINER= pkgsrc-users@NetBSD.org
|
|
HOMEPAGE= http://ctan.org/pkg/mathpartir
|
|
COMMENT= Typesetting sequences of math formulas, e.g. type inference rules
|
|
LICENSE= gnu-gpl-v2
|
|
|
|
DEPENDS+= tex-xkeyval-[0-9]*:../../print/tex-xkeyval
|
|
|
|
.include "../../print/texlive/package.mk"
|
|
.include "../../mk/bsd.pkg.mk"
|