| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| irredsol.xml | H A D | 03-May-2022 | 576 | 17 | 12 | |
| 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 | 3.8 KiB | 69 | 68 | |
| manual.toc | H A D | 03-May-2022 | 2.5 KiB | 23 | 22 | |
| manual.xml | H A D | 03-May-2022 | 3.1 KiB | 108 | 82 | |
| manualbib.xml | H A D | 03-May-2022 | 190.2 KiB | 5,523 | 5,215 | |
| manualbib.xml.bib | H A D | 03-May-2022 | 177.2 KiB | 4,609 | 4,604 | |
| nocolorprompt.css | H A D | 03-May-2022 | 203 | 14 | 12 | |
| prim.xml | H A D | 03-May-2022 | 3 KiB | 82 | 68 | |
| ragged.css | H A D | 03-May-2022 | 153 | 7 | 5 | |
| times.css | H A D | 03-May-2022 | 177 | 7 | 5 | |
| toggless.css | H A D | 03-May-2022 | 954 | 43 | 39 |