| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| Intros.autodoc | H A D | 03-May-2022 | 560 | 19 | 12 | |
| _AutoDocMainFile.xml | H A D | 03-May-2022 | 231 | 7 | 4 | |
| _Chapter_Overview.xml | H A D | 03-May-2022 | 6.2 KiB | 204 | 168 | |
| _Chapter_Pregroup_Presentations.xml | H A D | 03-May-2022 | 8.3 KiB | 323 | 246 | |
| _Chapter_Pregroups.xml | H A D | 03-May-2022 | 8.5 KiB | 316 | 246 | |
| _Chunks.xml | H A D | 03-May-2022 | 0 | 1 | 0 | |
| 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 | 12.2 KiB | 220 | 219 | |
| nocolorprompt.css | H A D | 03-May-2022 | 203 | 14 | 12 | |
| pregroups.xml | H A D | 03-May-2022 | 5 KiB | 140 | 126 | |
| presentation.xml | H A D | 03-May-2022 | 0 | 1 | 0 | |
| 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 | 641 | 30 | 27 | |
| toggless.css | H A D | 03-May-2022 | 954 | 43 | 39 | |
| walrus.toc | H A D | 03-May-2022 | 9.2 KiB | 72 | 71 | |
| walrus.xml | H A D | 03-May-2022 | 397 | 18 | 15 |