Name Last modified Size Description Parent Directory - README.md 2025-09-29 15:28 586 indextra-doc.pdf 2025-09-29 15:28 750K indextra.dtx 2025-09-29 15:28 62K indextra.ins 2025-09-29 15:28 1.7K