Re: docs/PluckerDB.tex? Really HTML?

[Michael Nordstr�m]

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