| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| DebugTexinfo/ | - | Jan 9, 2024 |
| Texinfo/ | - | Jan 9, 2024 |
| ext/ | - | Jan 9, 2024 |
| init/ | - | Jan 9, 2024 |
| maintain/ | - | Jan 9, 2024 |
| t/ | - | Jan 9, 2024 |
| tests/ | - | Jan 9, 2024 |
| Makefile.am | 13.4 KiB | Aug 14, 2023 |
| Makefile.docstr | 9.0 KiB | Oct 18, 2023 |
| Makefile.in | 226.5 KiB | Oct 18, 2023 |
| Makefile.tres | 104.5 KiB | Oct 18, 2023 |
| README | 2.8 KiB | Aug 20, 2023 |
| TODO | 26.4 KiB | Aug 14, 2023 |
| defs.in | 237 B | Aug 9, 2023 |
| prove.sh | 585 B | Aug 14, 2023 |
| texi2any.pl | 70.3 KiB | Sep 3, 2023 |