summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/semantic.tlpsrc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/tlpsrc/semantic.tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/semantic.tlpsrc6
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]