pkgsrc/print/tex-semantic-doc
markd 2622c0400c tex-semantic{,-doc}: Added version 2.0
Eases the typesetting of notation of semantics and compilers.
Includes T-diagrams, various derivation symbols and inference
trees.
2019-02-02 02:46:55 +00:00
..
DESCR
distinfo
Makefile
PLIST