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/README6
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf-dist/doc/metapost/drv/README b/Master/texmf-dist/doc/metapost/drv/README
index 31246497d23..05bd4192cf0 100644
--- a/Master/texmf-dist/doc/metapost/drv/README
+++ b/Master/texmf-dist/doc/metapost/drv/README
@@ -1,11 +1,11 @@
-drv.mp - derivation trees with MetaPost
-version 0.94
+drv - derivation trees with MetaPost
+version 0.95
Licence
lppl
Description
-drv.mp is a set of MetaPost macros for typesetting derivation trees (such as
+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.