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