Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - specimen.tex 2015-08-18 21:23 12K specimen.pdf 2015-08-18 21:23 601K small_specimen.tex 2015-08-18 21:23 4.9K small_specimen.pdf 2015-08-18 21:23 204K drm_font_tables.pdf 2015-08-18 21:23 1.6M drm.pdf 2015-08-18 21:23 1.4M