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 --
