Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.txt 2023-11-06 19:15 4.5K innerscript_code.dtx 2023-11-06 18:51 71K innerscript_code.pdf 2023-11-06 18:51 90K innerscript_user_guide.pdf 2023-11-06 18:51 111K