Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - shdoc.pdf 2016-09-04 16:25 531K shdoc.dtx 2016-09-04 16:17 62K shdoc.ins 2016-08-27 16:01 1.7K README 2016-09-04 16:17 1.3K shreformat.sh 2016-04-21 17:49 488