diff options
Diffstat (limited to 'dev-tex/mathpartir/metadata.xml')
-rw-r--r-- | dev-tex/mathpartir/metadata.xml | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/dev-tex/mathpartir/metadata.xml b/dev-tex/mathpartir/metadata.xml new file mode 100644 index 0000000..a193c4e --- /dev/null +++ b/dev-tex/mathpartir/metadata.xml @@ -0,0 +1,26 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <herd>no-herd</herd> + <longdescription> + This package provides macros for displaying lists of formulas + that are typeset in mixed horizontal and vertical modes. + The package is two-folded. + + The first part is an environment mathpar that generalizes the math + display mode to allow several formulas on the same line, and several + lines in the same display. The arrangement of the sequence of formulas + into lines is automatic depending on the line width and on a minimum + inter-formula space and line width alike words in a paragraphs (in + centerline mode). A typical application is displaying a set of type + inference rules. + + The second par is a macro inferrule to typeset inference rules + themselves. Here again, both premises and conclusions are presented as + list of formulas that should be displayed in almost the same way, except + that the width is not fixed in advance; and the inference rule should + use no more width than necessary so that other inference rules are given + a chance to appear on the same line. + </longdescription> + <upstream>http://cristal.inria.fr/~remy/latex/</upstream> +</pkgmetadata> |