Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - diadia-example.pdf 2015-05-20 16:37 124K diadia.dtx 2015-05-20 16:37 89K diadia.pdf 2015-05-20 16:37 311K README 2015-05-20 16:37 783 makefile 2015-05-20 16:37 1.8K