name synproof
category Package
revision 15878
shortdesc Easy drawing of syntactic proofs.
relocated 1
longdesc The package provides a set of macros based on PSTricks that
longdesc will enable you to draw syntactic proofs easily (inspired by
longdesc the Gamut books). Very few commands are needed, however fine
longdesc tuning of the various parameters (dimensions) can still be
longdesc achieved through "key=value" pairs.
runfiles size=2
 RELOC/tex/latex/synproof/synproof.sty
catalogue-ctan /macros/latex/contrib/synproof
catalogue-date 2014-02-26 23:03:13 +0100
catalogue-license lppl
catalogue-version 1.0