texlive-synproof - Easy drawing of syntactic proofs
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | LPPL |
| Vendor: | Fuduntu.org |
- Description:
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. date: 2009-07-05 17:22:22 +0200
Packages
| texlive-synproof-svn15878.1.0-16.fu2013.noarch [15 KiB] |
Changelog
by Jindrich Novy (2013-02-05):
- fix symlinks pointing to system utilities (#907643) - add BR: texinfo because of makeinfo |
| texlive-synproof-svn15878.1.0-14.fu2013.noarch [14 KiB] |
Changelog
by Marek Kasik (2013-01-18):
- Rebuild (poppler-0.22.0) |