name interval.doc
category Package
revision 50265
shortdesc doc files of interval
relocated 1
docfiles size=82
 RELOC/doc/latex/interval/README
 RELOC/doc/latex/interval/interval.pdf
 RELOC/doc/latex/interval/interval.tex
