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

[Ralf Treinen <treinen@free.fr>]

Package: wnpp
Severity: wishlist

* Package name    : mathpartir
  Version         : 1.1.1
  Upstream Author : Didier Remy <Didier.Remy at inria.fr>
* URL             : http://pauillac.inria.fr/~remy/latex/index.html#tir
* License         : GPL
  Description     : LaTeX macros for typesetting inference rules

  This packages contains LaTeX macros for
  * typesetting a sequence of math formulas in mixed horizontal and
  * vertical mode
  * typesetting inference rules
  .
  Homepage: http://pauillac.inria.fr/~remy/latex/index.html#tir
--