diff options
Diffstat (limited to 'graphics/tex-drv/DESCR')
| -rw-r--r-- | graphics/tex-drv/DESCR | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/graphics/tex-drv/DESCR b/graphics/tex-drv/DESCR new file mode 100644 index 00000000000..15883d32d2c --- /dev/null +++ b/graphics/tex-drv/DESCR @@ -0,0 +1,4 @@ +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. |