| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| DESCRIPTION | 104 | 2021-Sep-24 06:11 | |
| Makefile | 344 | 2021-Sep-24 06:11 | |
| base.dtx | 12103 | 2021-Sep-24 06:11 | |
| base.ins | 327 | 2021-Sep-24 06:11 | |
| standard.dtx | 4525 | 2021-Sep-24 06:11 | |
| standard.ins | 117 | 2021-Sep-24 06:11 | |