Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
mandi.pdf | 2024-02-27 14:51 | 505K | ||
mandi.dtx | 2024-02-27 14:51 | 98K | ||
mandistudent.dtx | 2024-02-27 14:51 | 66K | ||
mandiexp.dtx | 2024-02-27 14:51 | 24K | ||
mandi.ins | 2024-02-27 14:51 | 3.8K | ||
README.md | 2024-02-27 14:51 | 1.8K | ||