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