| 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 |