summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/metapost/drv/README
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2009-09-20 23:33:29 +0000
committerKarl Berry <karl@freefriends.org>2009-09-20 23:33:29 +0000
commit44bb8968da104e49b3765b18aa54f62870f88c39 (patch)
tree01f02e9f18b677e666821adaa29621489e2d14a5 /Master/texmf-dist/doc/metapost/drv/README
parent2c20e449c234f30eb26e3cbbd9cd48b281842a37 (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/README21
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