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