Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - dfgproposal.pdf 2016-04-15 12:41 240K dfgproposal.dtx 2016-04-15 12:41 28K dfgproposal.ins 2016-04-15 12:41 1.1K README 2016-04-15 12:41 816 report/ 2016-04-15 13:59 - proposal/ 2016-04-15 13:59 -