<?xml version="1.0"?>
<!DOCTYPE entry SYSTEM "../catalogue.dtd">
<entry id="semantic"
       datestamp="1999/03/03" 
       modifier="sebastian.rahtz@computing-services.oxford.ac.uk">
  <about>
    <name>semantic</name>
    <caption>No caption.</caption>
    <author>
      <name>Peter M|ller Neergaard</name>
      <email>turtle@diku.dk</email>
    </author>
    <license type="lppl"/>
  </about>
  <description>
    <abstract>
      Eases the typesetting of notation of semantics and
      compilers. Includes T-diagrams, various derivation symbols
      and inference trees.
    </abstract>
  </description>
  <distribution>
    <ctan>macros/latex/contrib/semantic</ctan>
    <texlive>latex3</texlive>
  </distribution>
</entry>

