| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| README.md | 2026/08/08 21:06:13 | 2436 |
| propositions.dtx | 2026/08/08 21:06:13 | 214421 |
| propositions.ins | 2026/08/08 21:06:13 | 1735 |
| propositions.pdf | 2026/08/08 21:06:13 | 529000 |
This directory on ctan.org. Sizes in bytes, times as CTAN lists them.