diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/semantic.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/semantic.tlpsrc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/semantic.tlpsrc b/Master/tlpkg/tlpsrc/semantic.tlpsrc new file mode 100644 index 00000000000..299492a5341 --- /dev/null +++ b/Master/tlpkg/tlpsrc/semantic.tlpsrc @@ -0,0 +1,6 @@ +name semantic +category Package +shortdesc Help for writing programming language semantics. +longdesc Eases the typesetting of notation of semantics and compilers. +longdesc Includes T-diagrams, various derivation symbols and inference +longdesc trees. [description copied from TeX Catalogue] |