Ich bin über eine Datei mit der Endung .div gestolpert, so weit ich weiß, handelt es sich dabei um ein Linux-Dateiformat…Tex müßte das Program heißen, mit dem sie erstellt wurde.
Jetzt suche ich eine Möglichkeit, diese Datei unter Windows NT oder Win98 zu bearbeiten, lesen würde mir erstmal auch reichen.
Kennt vielleicht jemand eine Möglichkeit?
Besten Dank im voraus!
Ich bin über eine Datei mit der Endung .div gestolpert,
Wohl eher .dvi, oder?
soweit ich weiß, handelt es sich dabei um ein
Linux-Dateiformat…Tex müßte das Program heißen, mit dem sie
erstellt wurde.
dvi steht für „Device independent“. Es handelt sich dabei also nicht um ein Linux Dateiformat.
Jetzt suche ich eine Möglichkeit, diese Datei unter Windows NT
oder Win98 zu bearbeiten, lesen würde mir erstmal auch
reichen.
Bearbeiten kann man diese Dateien nicht, dazu sind sie auch nicht gemacht. Bearbeiten kann man die Quellen in Form von TeX- bzw. LaTeX Dateien. Man kann dvi-Dateien auf verschiedenen Geräten ausgeben (daher der Name). Dazu zählen auch Bildschirme und Drucker.
Unter Windows gibt es z.B. das Programm yap (im Lieferumfang von MikTeX) oder dviwin. Beide findest Du auf den CTAN sites, unter anderem auf