/CodingStyle/1.1.1.1/Fri Dec 29 22:07:41 2023//
/Makefile.am/1.1.1.1/Fri Dec 29 22:07:41 2023//
/Makefile.in/1.1.1.1/Fri Dec 29 22:07:41 2023//
/SubmittingPatches/1.1.1.1/Fri Dec 29 22:07:41 2023//
/implementation.tex/1.1.1.1/Fri Dec 29 22:07:41 2023//
/isl.bib/1.1.1.1/Fri Dec 29 22:07:41 2023//
/manual.pdf/1.1.1.1/Fri Dec 29 22:07:41 2023//
/manual.tex/1.1.1.1/Fri Dec 29 22:07:41 2023//
/mypod2latex/1.1.1.1/Fri Dec 29 22:07:41 2023//
/reading.tex/1.1.1.1/Fri Dec 29 22:07:41 2023//
/user.pod/1.1.1.1/Fri Dec 29 22:07:41 2023//
D