| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-11-16 | merge mzuenni changes | Gloria Mundi |
| 2024-11-16 | mzuenni tests | Gloria Mundi |
| 2024-09-08 | moved stuff | mzuenni |
| 2024-09-07 | insert divsum | mzuenni |
| 2024-09-06 | small latex changes | mzuenni |
| 2024-07-28 | Test (#4) | mzuenni |
