diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/semantic.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/semantic.tlpsrc | 4 |
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] |