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