>I sincerely hope there won't be "new DVI" files; DVI was fine in its
>day, but we are now surely at a point where a successor to TeX should
>output an industry-standard format such as PDF, rather than attempt to
>define a new quasi-standard of its own.
Whatever. The main point is probably getting integration with other
electronic media. Perhaps Display PostScript can come along too, now that
Apple is buying NeXT; their stuff is supposed to run on Wondows NT, too.