| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| deps/ | ||
| semantics/ | ||
| util/ | ||
| config.rs | 2025/12/30 08:27:53 | 4030 |
| data.rs | 2025/12/30 08:27:53 | 59362 |
| deps.rs | 2025/12/30 08:27:53 | 219 |
| document.rs | 2025/12/30 08:27:53 | 6782 |
| lib.rs | 2025/12/30 08:27:53 | 584 |
| semantics.rs | 2025/12/30 08:27:53 | 1439 |
| util.rs | 2025/12/30 08:27:53 | 222 |
| workspace.rs | 2025/12/30 08:27:53 | 5354 |
This directory on ctan.org. Sizes in bytes, times as CTAN lists them.