diff options
Diffstat (limited to 'Master/texmf-dist/doc/metapost/drv/README')
| -rw-r--r-- | Master/texmf-dist/doc/metapost/drv/README | 6 |
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. |