Thread: Best document format for reading with smallest file size.
View Single Post
Old 12-03-2017, 01:19 PM   #15
j.p.s
Grand Sorcerer
j.p.s ought to be getting tired of karma fortunes by now.j.p.s ought to be getting tired of karma fortunes by now.j.p.s ought to be getting tired of karma fortunes by now.j.p.s ought to be getting tired of karma fortunes by now.j.p.s ought to be getting tired of karma fortunes by now.j.p.s ought to be getting tired of karma fortunes by now.j.p.s ought to be getting tired of karma fortunes by now.j.p.s ought to be getting tired of karma fortunes by now.j.p.s ought to be getting tired of karma fortunes by now.j.p.s ought to be getting tired of karma fortunes by now.j.p.s ought to be getting tired of karma fortunes by now.
 
Posts: 5,285
Karma: 98804578
Join Date: Apr 2011
Device: pb360
Quote:
Originally Posted by JSWolf View Post
DVI is Digital Visual Interface. It's the precursor to HDMI.

https://en.wikipedia.org/wiki/Digital_Visual_Interface
So what?

The device independent file extension for TeX, dvi, has been around since 1982, predating Digital Visual Interface.

https://en.wikipedia.org/wiki/Device...nt_file_format
j.p.s is offline   Reply With Quote