DIR CVS
  TEXT CodingStyle
  TEXT Makefile.am
  TEXT Makefile.in
  TEXT SubmittingPatches
  TEXT implementation.tex
  TEXT isl.bib
       manual.pdf
  TEXT manual.tex
  TEXT mypod2latex
  TEXT reading.tex
  TEXT user.pod