| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| base.dtx | 2024/11/19 09:47:20 | 2267 |
| friendly.dtx | 2024/11/19 09:47:20 | 17920 |
| hostile.dtx | 2024/11/19 09:47:20 | 17392 |
| neutral.dtx | 2024/11/19 09:47:20 | 16683 |
| unknown.dtx | 2024/11/19 09:47:20 | 19652 |
This directory on ctan.org. Sizes in bytes, times as CTAN lists them.