../ README.artex 22-Feb-1995 07:00 1030 artex 22-Feb-1995 07:00 13087 artexman.html 22-Feb-1995 07:00 14219 artexman.tex 22-Feb-1995 07:00 14017