File Name | File Size | Date |
---|---|---|
Parent directory/ | - | - |
README.md | 1794 | 27-Feb-2024 22:51 |
mandi.dtx | 98K | 27-Feb-2024 22:51 |
mandi.ins | 3895 | 27-Feb-2024 22:51 |
mandi.pdf | 505K | 27-Feb-2024 22:51 |
mandiexp.dtx | 24K | 27-Feb-2024 22:51 |
mandistudent.dtx | 66K | 27-Feb-2024 22:51 |