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