| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| README.md | 1794 | 2024-Feb-27 22:51 |
| mandi.ins | 3895 | 2024-Feb-27 22:51 |
| mandi.pdf | 516791 | 2024-Feb-27 22:51 |
| mandiexp.dtx | 24848 | 2024-Feb-27 22:51 |
| mandistudent.dtx | 67509 | 2024-Feb-27 22:51 |
| mandi.dtx | 100010 | 2024-Feb-27 22:51 |