Log Message:
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.