On Fri, 28 Feb 2020 at 09:00, Paul Courbis BV <paul-report...@courbis.net>
wrote:

>    * What was the outcome of this action?
>    Incorrect HTML code :
>    &icircu;&idiaer;
>

As far as I can tell from looking at the code, these names are correct for
HTML 1.1. The new names are used in HTML 1.2 (
https://www.w3.org/MarkUp/draft-ietf-iiir-html-01.txt) and later (and
recode generates them correctly for those versions too, though recode only
recognises version 2, not 1.2).

I'm afraid I can't find a spec for HTML 1.1 online; it seems to be so old
that it's not really considered a standard at all, and in any case there's
no reason to be using it. I'm reluctant to make any changes without
definitive documentation: looking at the code, this coding in recode has
not changed since recode 3.4 in 1994, and François Pinard was pretty
careful about this sort of thing (and both those letters are in his first
language).

-- 
https://rrt.sc3d.org

Reply via email to