Name Last modified Size ![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
00bug_fix.txt 2009-01-16 01:30 120
![[ ]](/icons/unknown.gif){kind=icon}
COPYRIGHT 2006-01-09 01:56 572
![[ ]](/icons/hand.right.gif){kind=icon}
README 2009-01-16 01:30 643
![[ ]](/icons/layout.gif){kind=icon}
txfontsdoc.pdf 2009-05-30 23:46 403K
![[ ]](/icons/compressed.gif){kind=icon}
txfontsdoc.tex.gz 2009-01-16 01:30 9.4K
txfontsdocA4.pdf 2009-05-30 23:46 402K
txfontsdocA4.tex.gz 2009-01-16 01:30 9.2K
txmi.vpl.gz 2009-01-16 01:30 2.7K