Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 29-Nov-2002 19:09 -
![[TXT]](/icons/text.gif){kind=icon}
story.tex 02-Oct-1990 00:00 1k
![[ ]](/icons/unknown.gif){kind=icon}
story.err 02-Oct-1990 00:00 1k
story.imp 02-Oct-1990 00:00 5k
![[ ]](/icons/a.gif){kind=icon}
story.eps 02-Oct-1990 00:00 6k
story.jep 02-Oct-1990 00:00 6k
story.e72 02-Oct-1990 00:00 8k
story.tos 02-Oct-1990 00:00 10k
story.alw 02-Oct-1990 00:00 12k