Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 02-Dec-2002 02:02 -
![[ ]](/icons/unknown.gif){kind=icon}
figglo.ist 15-Nov-1999 00:00 1k
fibasics.dtx 06-Jun-2000 00:00 59k
ficonv.dtx 06-Jun-2000 00:00 83k
filtfam.dtx 06-Jun-2000 00:00 34k
fimain.dtx 06-Jun-2000 00:00 143k
fimapgen.dtx 06-Jun-2000 00:00 54k
![[TXT]](/icons/text.gif){kind=icon}
fisource.sty 06-Jun-2000 00:00 20k
fisource.tex 06-Jun-2000 00:00 91k
fontinst.ins 06-Jun-2000 00:00 3k