Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
story.tos 02-Oct-1990 08:00 10K
![[TXT]](/icons/text.gif){kind=icon}
story.tex 02-Oct-1990 08:00 375
story.jep 02-Oct-1990 08:00 6.0K
story.imp 02-Oct-1990 08:00 4.8K
story.err 02-Oct-1990 08:00 476
![[ ]](/icons/a.gif){kind=icon}
story.eps 02-Oct-1990 08:00 5.8K
story.e72 02-Oct-1990 08:00 8.4K
story.alw 02-Oct-1990 08:00 12K