What is PDF? (Re: PRE)

DEMIZU Noritoshi (demizu@nff.ncl.omron.co.jp)
Mon, 01 May 1995 20:00:19 +0900

Message-Id: <9505011100.AA09013@newyork.nff.ncl.omron.co.jp>
From: DEMIZU Noritoshi <demizu@nff.ncl.omron.co.jp>
To: www-html@w3.org
Subject: What is PDF? (Re: PRE)
In-Reply-To: Your message of "Mon, 1 May 1995 00:03:13 +0500"
Date: Mon, 01 May 1995 20:00:19 +0900

> 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