summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/mathpartir/README
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2016-02-25 22:39:20 +0000
committerKarl Berry <karl@freefriends.org>2016-02-25 22:39:20 +0000
commitee86c2f293c6e4baf8eade205f1df6d9e975f0f1 (patch)
treedebc8ba5521de18f5eb6e6d708729a451a823611 /Master/texmf-dist/doc/latex/mathpartir/README
parent7ada8f0ce9656ac9fb657520a5e2a5977296c2eb (diff)
mathpartir (25feb16)
git-svn-id: svn://tug.org/texlive/trunk@39864 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/mathpartir/README')
-rw-r--r--Master/texmf-dist/doc/latex/mathpartir/README35
1 files changed, 35 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/mathpartir/README b/Master/texmf-dist/doc/latex/mathpartir/README
new file mode 100644
index 00000000000..533d6ea55fc
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/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.