Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 29-Nov-2002 15:54 -
![[TXT]](/icons/text.gif){kind=icon}
manual.txt 26-Sep-2001 00:00 9k
manual.htm 26-Sep-2001 00:00 12k
![[ ]](/icons/unknown.gif){kind=icon}
isi2bibtexrc 26-Sep-2001 00:00 3k
isi2bibtex.1 26-Sep-2001 00:00 14k
isi2bibtex 26-Sep-2001 00:00 42k
![[ ]](/icons/hand.right.gif){kind=icon}
README 26-Sep-2001 00:00 3k