Package: wnpp Severity: wishlist Package name : mathpartir Version : 1.1.1 Upstream Author : Didier Rémy <[EMAIL PROTECTED]> URL : http://pauillac.inria.fr/~remy/latex/ License : GPL Description : LaTeX macros for typesetting inference rules
The package mathpartir provides an environment mathpar for typesetting a sequence of math formulas in mixed horizontal and vertical mode. The environment selects the best arrangement according to the line width, exactly as paragraph mode does for words. Also included is a macro inferrule for typesetting type inference rules. -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable') Architecture: i386 (i686) Kernel: Linux 2.6.3 Locale: LANG=C, LC_CTYPE=C
