[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]artex1995-02-22 01:00 13K 
[   ]artexman.tex1995-02-22 01:00 14K 
[TXT]artexman.html1995-02-22 01:00 14K