diff options
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 |