| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-synproof | Distribution: OpenMandriva Lx |
| Version: 1.0 | Vendor: OpenMandriva |
| Release: 15878.1 | Build date: Mon Jul 13 06:56:08 2026 |
| Group: Publishing | Build host: altra-2.openmandriva.org |
| Size: 0 | Source RPM: texlive-synproof-1.0-15878.1.src.rpm |
| Packager: bero <bero@lindev.ch> | |
| Url: https://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.
lppl
/usr/share/texmf-dist /usr/share/texmf-dist/doc /usr/share/texmf-dist/doc/latex /usr/share/texmf-dist/doc/latex/synproof /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 /usr/share/texmf-dist/tex/latex /usr/share/texmf-dist/tex/latex/synproof /usr/share/texmf-dist/tex/latex/synproof/synproof.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon Aug 10 22:16:11 2026