|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
mathpartir
mathpartir | LaTeX macros for typesetting inference rules | Priority | |
Section | tex |
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 |
|
|