Re: Marking up Temporal Logic

A correction to what I wrote at
Date: Thu, 2 Sep 1999 13:23:53 -0400 (EDT)

> "XHTML", "XHTML-with-MathML", ... .  The dvi file that is created
> this way is essentially equivalent to a file in an XML language that
> is suited mainly for down-translation to a single format.  (But

                                        ^^^^^^^^^^^^^^^^^^

This should read "to a single format other than PostScript and other
standard formats that may be created from any DVI file."

                                 -- Bill