name synproof.doc
category Package
revision 15878
shortdesc doc files of synproof
relocated 1
docfiles size=21
 RELOC/doc/latex/synproof/README
 RELOC/doc/latex/synproof/synproof-doc.pdf
 RELOC/doc/latex/synproof/synproof-doc.tex
