| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| README.md | 2025/06/15 08:29:39 | 3376 |
| hideproofs-doc.pdf | 2025/06/15 07:25:41 | 352479 |
| hideproofs-doc.tex | 2025/06/15 08:29:39 | 9371 |
| hideproofs.dtx | 2025/06/15 07:20:37 | 20511 |
| hideproofs.ins | 2025/06/15 07:20:37 | 898 |
This directory on ctan.org. Sizes in bytes, times as CTAN lists them.