<?xml version="1.0"?>
<!DOCTYPE entry SYSTEM "../catalogue.dtd">
<entry id="proof" 
       datestamp="2002/11/11" 
       modifier="Graham.Williams@csiro.au">
  <about>
    <name>proof</name>
    <caption>Shell based completion to process and view TeX and LaTeX.</caption>
    <author>
      <name>Klaus Bosau</name>
      <email>kbosau@web.de</email>
    </author>
    <license type="dfsg"/>
    <version>
      <number>1.2</number>
    </version>
  </about>
  <distribution>
    <ctan>support/proof</ctan>
  </distribution>
</entry>
