What is PDF? (Re: PRE)

• From: DEMIZU Noritoshi <demizu@nff.ncl.omron.co.jp>
• Date: Mon, 01 May 1995 20:00:19 +0900
• To: www-html@w3.org
• Message-Id: <9505011100.AA09013@newyork.nff.ncl.omron.co.jp>

> 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

Received on Monday, 1 May 1995 08:10:05 UTC