Lines Matching refs:mode
1 all: hol-mode.ps hol-mode.pdf hol-mode.dvi4 /bin/rm -f hol-mode.dvi hol-mode.ps hol-mode.pdf hol-mode.aux hol-mode.log6 hol-mode.ps: hol-mode.dvi9 hol-mode.pdf: hol-mode.tex12 hol-mode.dvi: hol-mode.tex