Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 03-Dec-2002 11:49 -
![[TXT]](/icons/text.gif){kind=icon}
test3.tex 27-Apr-1999 00:00 1k
test2.tex 28-Mar-1999 00:00 1k
test1.tex 28-Mar-1999 00:00 1k
![[ ]](/icons/unknown.gif){kind=icon}
resultc.dat 29-Apr-1999 00:00 1k
resultb.dat 27-Apr-1999 00:00 1k
resulta.dat 27-Apr-1999 00:00 1k
delimtxt.ins 28-Mar-1999 00:00 1k
delimtxt.dtx 03-May-1999 00:00 9k