What is PDF? (Re: PRE)

DEMIZU Noritoshi (demizu@nff.ncl.omron.co.jp)
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