| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| GradedRing.xml | H A D | 03-May-2022 | 3.6 KiB | 105 | 65 | |
| GradedRingForHomalg.bib | H A D | 03-May-2022 | 6.6 KiB | 209 | 191 | |
| GradedRingForHomalg.xml | H A D | 03-May-2022 | 2.8 KiB | 81 | 55 | |
| MatrixOverGradedRing.xml | H A D | 03-May-2022 | 3.7 KiB | 102 | 66 | |
| QuickStart.xml | H A D | 03-May-2022 | 536 | 18 | 4 | |
| Tools.xml | H A D | 03-May-2022 | 1.3 KiB | 46 | 24 | |
| appendix.xml | H A D | 03-May-2022 | 2.8 KiB | 88 | 61 | |
| clean | H A D | 03-May-2022 | 98 | 5 | 1 | |
| examples.xml | H A D | 03-May-2022 | 595 | 22 | 4 | |
| install.xml | H A D | 03-May-2022 | 1.2 KiB | 35 | 14 | |
| intro.xml | H A D | 03-May-2022 | 1.3 KiB | 39 | 20 | |
| 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 | 10.7 KiB | 200 | 199 | |
| 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 | 2.3 KiB | 70 | 54 | |
| toggless.css | H A D | 03-May-2022 | 954 | 43 | 39 |