| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| DESCRIPTION | 104 B | 2024-Oct-03 11:49 |
| Makefile | 344 B | 2024-Oct-03 11:49 |
| base.dtx | 11.8 KiB | 2024-Oct-03 11:49 |
| base.ins | 327 B | 2024-Oct-03 11:49 |
| standard.dtx | 4.4 KiB | 2024-Oct-03 11:49 |
| standard.ins | 117 B | 2024-Oct-03 11:49 |