/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