- Name: texlive-synproof
- Version: svn15878.1.0
- Release: 20.fc18
- Epoch: 2
- Group: Applications/Publishing
- License: LPPL
- Url: http://tug.org/texlive/
- Summary: Easy drawing of syntactic proofs
- Architecture: noarch
- Size: 5895
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
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.
date: 2009-07-05 17:22:22 +0200
- OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic
- Cookie:
- Buildhost: buildvm-25.phx2.fedoraproject.org
Sources packages:
Other version of this rpm: