../ CodingStyle,v 02-Nov-2026 23:19 3341 Makefile.am,v 02-Nov-2026 23:19 2065 Makefile.in,v 02-Nov-2026 23:19 16838 SubmittingPatches,v 02-Nov-2026 23:19 3545 implementation.tex,v 02-Nov-2026 23:19 82496 isl.bib,v 02-Nov-2026 23:19 18015 manual.pdf,v 02-Nov-2026 23:19 548431 manual.tex,v 02-Nov-2026 23:19 4001 mypod2latex,v 02-Nov-2026 23:19 1522 reading.tex,v 02-Nov-2026 23:19 3152 user.pod,v 02-Nov-2026 23:19 477300