Чем редактировать dvi файл?

файла *.tex нет

если править только текст (не формулы) -- то проще в *.ps или *.pdf откомпилировать, а потом простым текстовым редактором править.

ничем, точно так же как и PostScript и pdf - это представление страницы.

Текст можно вытащить с помощью dvi2tty. С нелатиницей засада.

Можно попробовать перегнать сначала в PDF, а из PDF в html. Ещё один вариант -- распознать PDF и уже распознанный файл отредактировать.

> ничем, точно так же как и PostScript и pdf - это представление страницы.

я *ps и файлы в текстовом редакторе правил (это вообще говоря язык программирования принтеров HP). В *ps вначале навалены шрифты в бинарном виде, а потом текст в plaintext вперемешку с разметкой. Если исправления небольшие -- разметка не нарушается, и после этого исправленый *ps нормально читается и распечатывается. С некоторыми *pdf тоже так же получалось.

Ну дык dvi - это тоже самое, только шрифты там внешние, да и сам формат бинарный.

> Ну дык dvi - это тоже самое, только шрифты там внешние, да и сам формат бинарный.

не тоже самое, а plaintext (по крайней мере латиница)

1) как ты этот бинарный файл будешь редактировать? (это и был вопрос топикпастера)?

2) ps я редактировал обычным текстовым редактором mcedit

Ну дык ответ топикастеру и был вида: "никак!" - они для этого не предназначены.

Всем спасибо, все свободны (с)