diff options
author | Karl Berry <karl@freefriends.org> | 2009-09-20 23:33:29 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-09-20 23:33:29 +0000 |
commit | 44bb8968da104e49b3765b18aa54f62870f88c39 (patch) | |
tree | 01f02e9f18b677e666821adaa29621489e2d14a5 /Master/texmf-dist/doc/metapost/drv/README | |
parent | 2c20e449c234f30eb26e3cbbd9cd48b281842a37 (diff) |
new mpost package drv 0.93 (20sep09)
git-svn-id: svn://tug.org/texlive/trunk@15388 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/metapost/drv/README')
-rw-r--r-- | Master/texmf-dist/doc/metapost/drv/README | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/metapost/drv/README b/Master/texmf-dist/doc/metapost/drv/README new file mode 100644 index 00000000000..e5d287c876f --- /dev/null +++ b/Master/texmf-dist/doc/metapost/drv/README @@ -0,0 +1,21 @@ +drv.mp - derivation trees with MetaPost +version 0.93 + +Licence +lppl + +Description +drv.mp 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 |