Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
CHANGES 2010-06-30 20:23 1.7K
![[ ]](/icons/hand.right.gif){kind=icon}
README 2010-06-30 20:20 1.7K
![[DIR]](/icons/folder.gif){kind=icon}
example/ 2010-06-30 21:03 -
papertex.dtx 2010-06-30 20:19 56K
papertex.ins 2010-06-30 20:36 1.9K
![[ ]](/icons/layout.gif){kind=icon}
papertex.pdf 2010-06-30 20:34 252K