Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - papercdcase.pdf 2006-08-07 14:27 147K papercdcase.dtx 2006-08-07 14:27 42K interactive.tex 2006-08-07 14:27 3.0K papercdcase.ins 2006-08-07 14:27 1.6K example.tex 2006-08-07 14:27 477