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