| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| clean | H A D | 03-May-2022 | 109 | 4 | 1 | |
| functionality.xml | H A D | 03-May-2022 | 106.8 KiB | 2,529 | 2,257 | |
| hecke.bib | H A D | 03-May-2022 | 9 KiB | 289 | 271 | |
| hecke.toc | H A D | 03-May-2022 | 10.4 KiB | 91 | 90 | |
| hecke.xml | H A D | 03-May-2022 | 668 | 35 | 16 | |
| install.xml | H A D | 03-May-2022 | 877 | 30 | 13 | |
| intro.xml | H A D | 03-May-2022 | 10.5 KiB | 246 | 195 | |
| lefttoc.css | H A D | 03-May-2022 | 316 | 18 | 15 | |
| manual.css | H A D | 03-May-2022 | 7 KiB | 483 | 409 | |
| manual.six | H A D | 03-May-2022 | 22.7 KiB | 400 | 399 | |
| nocolorprompt.css | H A D | 03-May-2022 | 203 | 14 | 12 | |
| ragged.css | H A D | 03-May-2022 | 153 | 7 | 5 | |
| times.css | H A D | 03-May-2022 | 177 | 7 | 5 | |
| title.xml | H A D | 03-May-2022 | 1 KiB | 38 | 30 | |
| toggless.css | H A D | 03-May-2022 | 954 | 43 | 39 |