Re: docs/PluckerDB.tex? Really HTML?

[Bill Janssen]

OK, thanks.  I'm going to add to it to describe the Palm headers as well.

Bill

> On Tue, Sep 11, 2001, Bill Janssen wrote:
> > Why is it expressed as a TeX file when it's really HTML inside?
> 
> Because I wrote this description as a HTML document and later on it
> was also included in the User's Guide (as a "pseudo-TeX" document).
> 
> /Mike