What is PDF? (Re: PRE)
DEMIZU Noritoshi (email@example.com)
Mon, 1 May 1995 09:05:41 +0500
> Yes you can control the spacing. But not if you use HTML. HTML is a
> content markup language *NOT* a text setting system. If you insist on
> double spacing, pick one of the many languages which allow you that;
> to mention a few: PDF, PostScript and (La)TeX.
What is ``PDF''? I've heard that it's a Web formatting language.
Where can I get more information about it? Thanks in advance.
Noritoshi Demizu, OMRON Corporation