summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/mathpartir/README
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /macros/latex/contrib/mathpartir/README
Initial commit
Diffstat (limited to 'macros/latex/contrib/mathpartir/README')
-rw-r--r--macros/latex/contrib/mathpartir/README35
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.