Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 02-Dec-2002 01:55 -
![[ ]](/icons/a.gif){kind=icon}
roadmap.eps 07-May-1999 00:00 8k
![[TXT]](/icons/text.gif){kind=icon}
fontinst.tex 15-Sep-1999 00:00 92k
![[ ]](/icons/layout.gif){kind=icon}
fontinst.pdf 16-Nov-1999 00:00 287k
![[ ]](/icons/dvi.gif){kind=icon}
fontinst.dvi 15-Sep-1999 00:00 117k
fisource.pdf 16-Nov-1999 00:00 638k
fisource.dvi 16-Nov-1999 00:00 569k
![[ ]](/icons/unknown.gif){kind=icon}
CHANGES 07-May-1999 00:00 31k