Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

texlive-synproof-15878-1 RPM for noarch

From OpenMandriva 5.0 for x86_64 / main / release

Name: texlive-synproof Distribution: OpenMandriva Lx
Version: 15878 Vendor: OpenMandriva
Release: 1 Build date: Mon Nov 14 21:32:02 2022
Group: Publishing Build host: c64-5.openmandriva.org
Size: 87308 Source RPM: texlive-synproof-15878-1.src.rpm
Packager: bero <bero@lindev.ch>
Url: http://www.ctan.org/tex-archive/macros/latex/contrib/synproof
Summary: Easy drawing of syntactic proofs
 
The package provides a set of macros based on PSTricks that
will enable you to draw syntactic proofs easily (inspired by
the Gamut books). Very few commands are needed, however fine
tuning of the various parameters (dimensions) can still be
achieved through "key=value" pairs.

Provides

Requires

License

LPPL

Files

/usr/share/texmf-dist/doc/latex/synproof/README
/usr/share/texmf-dist/doc/latex/synproof/synproof-doc.pdf
/usr/share/texmf-dist/doc/latex/synproof/synproof-doc.tex
/usr/share/texmf-dist/tex/latex/synproof/synproof.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Jan 26 23:05:02 2025