| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| README.md | 4.4 KiB | Oct 17, 2023 |
| hecthese-en.ins | 3.9 KiB | Oct 17, 2023 |
| hecthese-en.pdf | 536.4 KiB | Oct 17, 2023 |
| hecthese-fr.ins | 4.0 KiB | Oct 17, 2023 |
| hecthese.dtx | 105.7 KiB | Oct 17, 2023 |
| hecthese.pdf | 522.9 KiB | Oct 17, 2023 |