diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /macros/latex/contrib/mathpartir/README |
Initial commit
Diffstat (limited to 'macros/latex/contrib/mathpartir/README')
-rw-r--r-- | macros/latex/contrib/mathpartir/README | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/macros/latex/contrib/mathpartir/README b/macros/latex/contrib/mathpartir/README new file mode 100644 index 0000000000..533d6ea55f --- /dev/null +++ b/macros/latex/contrib/mathpartir/README @@ -0,0 +1,35 @@ + +------------------------------------------------+ + | mathpartir: | + | Math Paragraph for Typesetting Inference Rules | + +------------------------------------------------+ + +Author : Didier Rémy +Version : 1.3.2 +Bug Reports : to author +Web Site : http://pauillac.inria.fr/~remy/latex/ +License : GPL - GNU General Public License 2 or later + +The package mathpartir provides: + +An environment mathpar for typesetting a sequence of math formulas in +mixed horizontal and vertical mode. The environment selects the best +arrangement according to the line width, exactly as paragraph mode +does for words. + +A macro inferrule for typesetting type inference rules. See the +package documentation and website for more information. + +This package is partially supported by HEVEA. + +Files in distribution: + + README This file. + mathpartir.ins Package installation file. + mathpartir.dtx Package source file. + COPYING GPL license file. + + mathpartir.sty Package style file. It was produced by + executing "latex mathpartir.ins". + + mathpartir.pdf Package documentation. It was produced by + executing "pdflatex mathpartir.dtx" twice. |