Name | Last Modified | Size | Type |
---|---|---|---|
../ | - | Directory | |
hats/ | 2023-Apr-05 09:18:50 | - | Directory |
readme_images/ | 2023-Apr-05 09:18:50 | - | Directory |
README.md | 2023-Apr-05 09:18:50 | 1.2K | text/markdown;charset=utf-8 |
realhats.dtx | 2023-Apr-05 09:18:50 | 10.1K | application/octet-stream |
realhats.ins | 2023-Apr-05 09:18:50 | 1.2K | application/x-internet-signup |
realhats.pdf | 2023-Apr-05 09:18:50 | 1.9M | application/pdf |