Lines Matching refs:v3

61 JWEB	= isomorphism-impl.w isomorphism-impl-v3.w
67 default: isomorphism-impl-v3.$(RESULT)
69 final: isomorphism-impl-v3.$(RESULT)
70 	$(LATEX) isomorphism-impl-v3
72 	$(LATEX) isomorphism-impl-v3
79 isomorphism-impl-v3.dvi: $(DOT) $(EPS_GEN) $(WEBTEX)
80 isomorphism-impl-v3.ps: isomorphism-impl-v3.dvi
81 isomorphism-impl-v3.pdf: $(EPS_GEN) $(PDFPICT) $(WEBTEX)
83 isomorphism-v3.hpp: isomorphism-impl-v3.w isomorphism-impl-v3.tex
88 isomorphism.o: isomorphism-v3.hpp isomorphism-impl-v3.w
93 isomorphism-v3.hpp: isomorphism-impl-v3.tex isomorphism-impl-v3.w
94 eg1-iso.o: isomorphism-impl-v3.tex isomorphism-impl-v3.w