Home
Linux temps réel embarqué et outils de développements Technique





mathpartir

mathpartir LaTeX macros for typesetting inference rules
Priority
Sectiontex
Installed size 116
Maintainer Ralf Treinen <treinen@debian.org>
Architecture all
Version 1.1.1-2
Depends tetex-bin
Suggests ttf-bitstream-vera
File name pool/main/m/mathpartir/mathpartir_1.1.1-2_all.deb
Description 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


©M.N.I.S Société | Produits | Services | Formations | Support | Partenariat | Presse | Téléchargements ©M.N.I.S