summaryrefslogtreecommitdiff
path: root/graphics/metapost/contrib/macros/drv/README
diff options
context:
space:
mode:
Diffstat (limited to 'graphics/metapost/contrib/macros/drv/README')
-rw-r--r--graphics/metapost/contrib/macros/drv/README21
1 files changed, 21 insertions, 0 deletions
diff --git a/graphics/metapost/contrib/macros/drv/README b/graphics/metapost/contrib/macros/drv/README
new file mode 100644
index 0000000000..72248d2b54
--- /dev/null
+++ b/graphics/metapost/contrib/macros/drv/README
@@ -0,0 +1,21 @@
+drv - derivation trees with MetaPost
+version 0.97
+
+Licence
+lppl
+
+Description
+drv 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