Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - gillcm.pdf 2010-07-30 22:40 183K sample.pdf 2010-07-30 22:41 41K gillcm.dtx 2010-07-30 22:40 25K gillcm.ins 2010-05-07 23:56 1.9K gillcm.bib 2010-07-30 22:39 1.6K sample.tex 2010-07-30 00:08 420 README 2010-07-30 00:12 309