Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 03-Dec-2002 08:44 -
![[TXT]](/icons/text.gif){kind=icon}
00readme.txt 03-May-1998 00:00 4k
announce.txt 03-May-1998 00:00 2k
![[ ]](/icons/a.gif){kind=icon}
example.eps 04-Dec-1996 00:00 8k
pfgguide.ps 04-May-1998 00:00 204k
pfgguide.tex 04-May-1998 00:00 30k
![[ ]](/icons/unknown.gif){kind=icon}
psfrag.dtx 11-Apr-1998 00:00 42k
psfrag.ins 27-Nov-1996 00:00 1k
testfig.eps 12-Apr-1998 00:00 1k