u14@nikhefh.hep.nl (Daan Josephus Jitta) (05/06/88)
Does anybody know whether there is a FX80 printer driver (Public Domain) for DVI files floating around (using the same font file format as the recently posted dvist)? It's the main reason I'm still using the Tools TeX previewer- to have two large sets of fonts for both dvist and Tools will be too much for my harddisk... Thanks in advance, Daan Josephus Jitta.