DVI-files are ``DeVice Independent'', i.e. the contents they contain are independent of the resolution of the intended output device. They are usually1 produced by TeX and subsequently converted into PostScript.
