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.
13 lines
355 B
Makefile
13 lines
355 B
Makefile
# $NetBSD: Makefile,v 1.1 2018/01/18 11:00:44 markd Exp $
|
|
|
|
DISTNAME= mathpartir.doc
|
|
PKGNAME= tex-${DISTNAME:S/./-/}-1.3.2
|
|
TEXLIVE_REV= 39864
|
|
|
|
MAINTAINER= pkgsrc-users@NetBSD.org
|
|
HOMEPAGE= http://ctan.org/pkg/mathpartir
|
|
COMMENT= Documentation for tex-mathpartir
|
|
LICENSE= gnu-gpl-v2
|
|
|
|
.include "../../print/texlive/package.mk"
|
|
.include "../../mk/bsd.pkg.mk"
|