| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| docs/ | - | 2024-Jul-09 08:03 |
| LICENSE | 19042 | 2024-Jul-09 08:03 |
| Makefile | 7957 | 2024-Jul-09 08:03 |
| README.md | 1939 | 2024-Jul-09 08:03 |
| synthslant.dtx | 293618 | 2024-Jul-09 08:03 |
| synthslant.ins | 1894 | 2024-Jul-09 08:03 |