CTAN package update: semantic
Date: November 3, 2003 6:18:00 PM CET
A package has been updated at tug.ctan.org and it should make its
way to your favorite mirror real soon now.
Thanks,
Jim Hefferon
======================================================================
The following information was provided by the package's contributor.
Name of contribution: semantic
Author's name: Peter M�ller Neergaard
Location on CTAN: macros/latex/contrib/semantic
Summary description: Help for writing programming language semantic
including software ligatures
License type: lppl
Announcement text given by the package's contributor:
- ----------------------------------------------------------------------
This revision updates semantic to version 2.0(epsilon). It includes a
patch to make semantic compatible with amsmath 2.0.
- ----------------------------------------------------------------------
You can have a look at the package at
http://tug.ctan.org/tex-archive/macros/latex/contrib/semantic
although you may get a better network connection by visiting a mirror
of CTAN that is near to you; see
http://www.ctan.org/tex-archive/README.mirrors
semantic – Help for writing programming language semantics
Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.
Package | semantic |
Version | 2.0 |
Maintainer | Arne John Glenstrup Peter Møller Neergaard |