Name | Last Modified | Size | Type |
---|---|---|---|
../ | - | Directory | |
hats/ | 2022-Jun-13 15:55:00 | - | Directory |
readme_images/ | 2022-Jun-13 15:55:00 | - | Directory |
README.md | 2022-Jun-13 15:55:00 | 1.1K | text/markdown; charset=utf-8 |
realhats.dtx | 2022-Jun-13 15:55:00 | 8.3K | application/octet-stream |
realhats.ins | 2022-Jun-13 15:55:00 | 1.2K | application/x-internet-signup |
realhats.pdf | 2022-Jun-13 15:55:00 | 1.9M | application/pdf |