CTAN has a new package: synproof
CTAN Announcements
ctan-ann at dante.de
Sat Jun 9 14:08:58 CEST 2007
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 .
More information about the Ctan-ann
mailing list