Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - jlshort.ps 2001-05-25 12:15 1.6M jlshort.dvi 2001-05-25 12:15 469K jlshort-book.ps 2001-05-25 12:14 1.6M jlshort-1.00.src.tar.gz 2001-05-25 12:14 79K READ.ME 2001-05-25 12:14 580 CHANGES.jp 2001-05-25 12:14 192 00README 2001-05-25 12:14 127