CTAN Comprehensive TeX Archive Network

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.

Packagesemantic
Version2.0
MaintainerArne John Glenstrup
Peter Møller Neergaard

Announcements

more

Guest Book Sitemap Contact Contact Author