Directory tex-archive/macros/latex/contrib/semantic
Files
| Name | Size | Date | Notes |
|---|---|---|---|
semantic.dtx |
116939 | 2003-10-28 01:31:00 | |
semantic.ins |
1309 | 2003-10-28 01:31:00 | |
semantic.pdf |
392885 | 2005-06-27 04:58:00 |
Download the complete
contents of this directory in one zip archive
(387.3k).
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.
| Documentation |
Package documentation |
| Version | 2.0 |
| License | The LaTeX Project Public License |
| Maintainer | Peter Møller Neergaard Arne John Glenstrup |
| Contained in | TeXLive as semantic |
| MiKTeX as semantic | |
| Topics |
typeset computer-science related material |