Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 02-Dec-2002 03:17 -
![[ ]](/icons/unknown.gif){kind=icon}
README.augie 19-Oct-2000 00:00 5k
![[DIR]](/icons/folder.gif){kind=icon}
afm/ 30-Nov-2002 08:49 -
doc/ 30-Nov-2002 08:49 -
dvips/ 30-Nov-2002 08:49 -
other/ 30-Nov-2002 08:49 -
tex/ 30-Nov-2002 08:50 -
tfm/ 30-Nov-2002 08:50 -
type1/ 30-Nov-2002 08:50 -
vf/ 30-Nov-2002 08:50 -
vtex/ 30-Nov-2002 08:50 -