6 files, 17 KiB
| Name | Modified (UTC) | Size |
|---|---|---|
| ../ | ||
| DESCRIPTION | 2021-09-23 21:11 | 104 B |
| Makefile | 2021-09-23 21:11 | 344 B |
| base.dtx | 2021-09-23 21:11 | 12 KiB |
| base.ins | 2021-09-23 21:11 | 327 B |
| standard.dtx | 2021-09-23 21:11 | 4.4 KiB |
| standard.ins | 2021-09-23 21:11 | 117 B |