Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 03-Nov-2008 02:33 -
![[TXT]](/icons/text.gif){kind=icon}
origin 23-Nov-1989 01:00 1k
![[ ]](/icons/tex.gif){kind=icon}
pt8hyph.tex 07-May-1999 12:44 3k
pthyph.tex 14-Oct-1994 15:17 2k