kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
294059 commits 166 branches 0 tags 1.5 GiB
Commit graph

1 commit

Author SHA1 Message Date
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