2622c0400c
Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.
7 lines
356 B
Text
7 lines
356 B
Text
@comment $NetBSD: PLIST,v 1.1 2019/02/02 02:46:55 markd Exp $
|
|
share/texmf-dist/tex/latex/semantic/infernce.sty
|
|
share/texmf-dist/tex/latex/semantic/ligature.sty
|
|
share/texmf-dist/tex/latex/semantic/reserved.sty
|
|
share/texmf-dist/tex/latex/semantic/semantic.sty
|
|
share/texmf-dist/tex/latex/semantic/shrthand.sty
|
|
share/texmf-dist/tex/latex/semantic/tdiagram.sty
|