Ankündigungen für synproof

2007-06-09 CTAN has a new package: synproof

synproof – Easy drawing of syntactic proofs

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.

Paket	synproof
Version	1.0
Betreuer	Yuri Robbers Paul Isambert (inaktiv)

Atom Atom-1.0-Feed mit Ankündigungen für das Paket synproof.
RSS RSS-2.0-Feed mit Ankündigungen für das Paket synproof.