| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| docs/ | - | 2025-Oct-27 18:38 | |
| LICENSE | 19042 | 2025-Oct-27 18:38 | |
| Makefile | 7957 | 2025-Oct-27 18:38 | |
| README.md | 1944 | 2025-Oct-27 18:38 | |
| synthslant.dtx | 329206 | 2025-Oct-27 18:38 | |
| synthslant.ins | 1906 | 2025-Oct-27 18:38 | |