../ CodingStyle,v 30-Jun-2024 21:34 2981 Makefile.am,v 30-Jun-2024 21:34 1705 Makefile.in,v 30-Jun-2024 21:34 16478 SubmittingPatches,v 30-Jun-2024 21:34 3185 implementation.tex,v 30-Jun-2024 21:34 82136 isl.bib,v 30-Jun-2024 21:34 17655 manual.pdf,v 30-Jun-2024 21:34 548071 manual.tex,v 30-Jun-2024 21:34 3641 mypod2latex,v 30-Jun-2024 21:34 1162 reading.tex,v 30-Jun-2024 21:34 2792 user.pod,v 30-Jun-2024 21:34 476940