CTAN Comprehensive TeX Archive Network

CTAN update: drv (v 0.97)

Date: February 22, 2011 7:06:28 PM CET
after a day's silence, the daemon saunters out and remarks: > The following information was provided by the package's contributor. > > Name of contribution: drv > Author's name: Laurent Méhats > Author's email: laurent.mehats at gmail.com > Location on CTAN: http://www.tex.ac.uk/tex-archive/graphics/metapost/contrib/macros/drv/ > Summary description: Derivation trees with MetaPost. > License type: lppl > > Announcement text given by the package's contributor: > ---------------------------------------------------------------------- > Changes: > - a 'drv_labels_mode' is now available, that turns labels typesetting > on and off; > - a 'drv_verbatimtex' macro is now available, that enables the use of > LaTeX material that is not intended to be typeset; > - phantom steps labels are now accessible as individual components; > - stroked lines are now taken into account in radial mode; > - drv does not rely on amsmath anymore. thanks for the upload; i have installed the files and updated the catalogue repository. > Users may view the package catalogue entry at > http://www.tex.ac.uk/tex-archive/help/Catalogue/entries/drv.html > or they may browse the package directory at > http://www.tex.ac.uk/tex-archive/graphics/metapost/contrib/macros/drv/ The catalogue entry will change (somewhat) overnight tonight. Robin Fairbairns For the CTAN team

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.

Copyright2009 Laurent Méhats
MaintainerLaurent Méhats



Guest Book Sitemap Contact Contact Author