Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - textualicomma.ins 2018-08-23 18:35 949 README.md 2018-08-23 18:35 1.5K textualicomma.dtx 2018-08-23 18:35 5.4K textualicomma-doc.dtx 2018-08-23 18:35 9.4K textualicomma-doc.pdf 2018-08-23 18:35 116K