Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 20-Feb-2021 01:19 -
![[TXT]](/icons/text.gif){kind=icon}
blurb.txt 27-Sep-1992 10:00 1k
boat.tex 27-Sep-1992 10:00 92k
![[ ]](/icons/unknown.gif){kind=icon}
halftone.mf 27-Sep-1992 10:00 1k
halftone.tex 27-Sep-1992 10:00 11k
mandy.tex 27-Sep-1992 10:00 60k
picture.tex 27-Sep-1992 10:00 4k
pix.tex 27-Sep-1992 10:00 14k
pixkit.post 27-Sep-1992 10:00 62k
![[ ]](/icons/f.gif){kind=icon}
texpic.for 27-Sep-1992 10:00 42k
texpic.obj 27-Sep-1992 10:00 9k