Bug#241359: RFP: mathpartir -- LaTeX macros for typesetting inference rules

[Mike Furr <mfurr@debian.org>]

Package: wnpp
Severity: wishlist

  Package name    : mathpartir
  Version         : 1.1.1
  Upstream Author : Didier Rémy <Didier.Remy@inria.fr>
  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