Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.md 2021-01-15 16:21 1.7K enc/ 2021-01-15 16:22 - pfb/ 2021-01-15 16:22 - pl/ 2021-01-15 16:22 - stix2.dtx 2021-01-15 16:20 191K stix2.fdd 2021-01-15 00:15 8.6K stix2.ins 2021-01-15 00:15 1.1K stix2.map 2018-03-30 18:09 4.4K stix2.pdf 2021-01-15 16:22 1.3M tfm/ 2021-01-15 16:22 -