/usr1/chiles/work/tex.lisp /usr1/chiles/work/tex/notes.txt /afs/cs/user/chiles/rt-port/doc/dtpi/debug-tools.tex Bill