Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - example/ 2010-06-30 23:03 - papertex.ins 2010-06-30 22:36 1.9K papertex.pdf 2010-06-30 22:34 252K CHANGES 2010-06-30 22:23 1.7K README 2010-06-30 22:20 1.7K papertex.dtx 2010-06-30 22:19 56K