kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/print/tex-semantic-doc/DESCR
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

1 line
32 B
Text
Raw Blame History

Documentation for tex-semantic.
Reference in a new issue View git blame Copy permalink