Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2012-10-30 23:40 2.0K doc/ 2012-11-27 18:13 - latex/ 2012-11-27 18:13 - samples.pdf 2012-10-30 19:36 271K tfm/ 2012-11-27 18:13 - type1/ 2012-11-27 18:13 - vf/ 2012-11-27 18:13 -