CTAN Comprehensive TeX Archive Network

Verzeichnis graphics/metapost/contrib/macros/drv

README
drv - derivation trees with MetaPost
version 0.97

Licence
lppl

Description
drv is a set of MetaPost macros for typesetting derivation trees (such as
used in sequent calculus, type inference, programming language semantics...) 
NO MetaPost knowledge is needed to use these macros.

Contents
drv.mp		the main file
drv-guide.pdf	a user guide attempt
doc/		the sources for drv-guide.pdf
sample/		an example of use in conjunction with the beamer class
template/	a basic set of files for your own tries
README		this file

Any feedback is welcome.
laurent.mehats@gmail.com

Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (269.9k).

drv – Derivation trees with

A set of macros for typesetting derivation trees (such as used in sequent calculus, type inference, programming language semantics…).

No knowledge is needed to use these macros.

Paketdrv
Version0.97
LizenzenThe Project Public License
Copyright2009 Laurent Méhats
BetreuerLaurent Méhats
Enthalten inTeX Live als drv
MiKTeX als drv
ThemenBäume
...
Gästebuch Seiten-Struktur Impressum Autor kontaktieren