Package: mathpartir (1.2.0-1) [universe]

Links for mathpartir

Ubuntu Resources:

Download Source Package mathpartir:

Maintainer:

Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

Ralf Treinen

It should generally not be necessary for users to contact the original maintainer.

Similar packages:

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

Other Packages Related to mathpartir

depends

recommends

suggests

dep: tex-common (>= 0.7)

common infrastructure for building and installing TeX
dep: texlive-latex-base

TeX Live: Basic LaTeX packages

Download mathpartir

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	31.3 kB	160.0 kB	[list of files]

Sections