Name | Last Modified | Size | Type |
---|---|---|---|
../ | - | Directory | |
hats/ | 2019-Nov-19 03:56:46 | - | Directory |
readme_images/ | 2019-Nov-19 03:56:46 | - | Directory |
README.md | 2019-Nov-19 03:56:46 | 1.0K | application/octet-stream |
realhats.dtx | 2019-Nov-19 03:56:46 | 6.8K | application/octet-stream |
realhats.ins | 2019-Nov-19 03:56:46 | 1.2K | application/octet-stream |
realhats.pdf | 2019-Nov-19 03:56:46 | 101.2K | application/pdf |