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.tlpsrc4
1 files changed, 0 insertions, 4 deletions
diff --git a/Master/tlpkg/tlpsrc/semantic.tlpsrc b/Master/tlpkg/tlpsrc/semantic.tlpsrc
index 299492a5341..afbf1e1303b 100644
--- a/Master/tlpkg/tlpsrc/semantic.tlpsrc
+++ b/Master/tlpkg/tlpsrc/semantic.tlpsrc
@@ -1,6 +1,2 @@
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]