Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 11-Sep-2002 20:50 -
![[DIR]](/icons/folder.gif){kind=icon}
html/ 25-Sep-2002 21:44 -
temp/ 25-Sep-2002 21:44 -
![[TXT]](/icons/text.gif){kind=icon}
paper.tex 25-Sep-2002 21:33 26k
![[ ]](/icons/a.gif){kind=icon}
paper.ps 25-Sep-2002 21:32 754k