Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
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 -