summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/metapost/drv/README
diff options
context:
space:
mode:
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