A new package has been installed at tug.ctan.org and should soon be at your favorite mirror.
Thanks again, Jim Hefferon Saint Michael's College
.......................................................................
The following information was provided by our fellow contributor:
Name of contribution: synproof Author's name: Paul Isambert Location on CTAN: /macros/latex/contrib/synproof Summary description: Easy drawing of syntactic proofs (a.k.a. derivations) in modern logic. License type: lppl
Announcement text: ---------------------------------------------------------------------- This is 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. ----------------------------------------------------------------------
This package is located at http://tug.ctan.org/tex-archive/macros/latex/cntrib/synproof . More information is at http://tug.ctan.org/cgi-bin/ctanPackageInformation.py?id=synproof (if the package is new it may take a day for that information to appear). We are supported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/usergroups.html .