print HTML character references as 4+ digits hexadecimal, like Unicode;

from bentley@, tweaked by me

1 files changed, 152 insertions, 152 deletions

diff --git a/regress/char/unicode/named.out_html b/regress/char/unicode/named.out_html
index bf7605c3..e8368088 100644
--- a/regress/char/unicode/named.out_html
+++ b/regress/char/unicode/named.out_html
@@ -1,154 +1,154 @@
 BEGINTEST
-ıı	LATIN SMALL LETTER DOTLESS I
-IJIJ	LATIN CAPITAL LIGATURE IJ
-ijij	LATIN SMALL LIGATURE IJ
-ŁŁ	LATIN CAPITAL LETTER L WITH STROKE
-łł	LATIN SMALL LETTER L WITH STROKE
-ŒŒ	LATIN CAPITAL LIGATURE OE
-œœ	LATIN SMALL LIGATURE OE
-ƒƒ	LATIN SMALL LETTER F WITH HOOK
-ˇˇ	CARON
-˘˘	BREVE
-˚˚	RING ABOVE
-˛˛	OGONEK
-˝˝	DOUBLE ACUTE ACCENT
-ΑΑ	GREEK CAPITAL LETTER ALPHA
-ΒΒ	GREEK CAPITAL LETTER BETA
-ΔΔ	GREEK CAPITAL LETTER DELTA
-ΕΕ	GREEK CAPITAL LETTER EPSILON
-ΖΖ	GREEK CAPITAL LETTER ZETA
-ΗΗ	GREEK CAPITAL LETTER ETA
-ΘΘ	GREEK CAPITAL LETTER THETA
-ΙΙ	GREEK CAPITAL LETTER IOTA
-ΚΚ	GREEK CAPITAL LETTER KAPPA
-ΛΛ	GREEK CAPITAL LETTER LAMDA
-ΜΜ	GREEK CAPITAL LETTER MU
-ΝΝ	GREEK CAPITAL LETTER NU
-ΞΞ	GREEK CAPITAL LETTER XI
-ΟΟ	GREEK CAPITAL LETTER OMICRON
-ΠΠ	GREEK CAPITAL LETTER PI
-ΡΡ	GREEK CAPITAL LETTER RHO
-ΤΤ	GREEK CAPITAL LETTER TAU
-ΥΥ	GREEK CAPITAL LETTER UPSILON
-ΦΦ	GREEK CAPITAL LETTER PHI
-ΧΧ	GREEK CAPITAL LETTER CHI
-ΨΨ	GREEK CAPITAL LETTER PSI
-ΩΩ	GREEK CAPITAL LETTER OMEGA
-αα	GREEK SMALL LETTER ALPHA
-ββ	GREEK SMALL LETTER BETA
-γγ	GREEK SMALL LETTER GAMMA
-δδ	GREEK SMALL LETTER DELTA
-εε	GREEK SMALL LETTER EPSILON
-ζζ	GREEK SMALL LETTER ZETA
-ηη	GREEK SMALL LETTER ETA
-θθ	GREEK SMALL LETTER THETA
-ιι	GREEK SMALL LETTER IOTA
-κκ	GREEK SMALL LETTER KAPPA
-λλ	GREEK SMALL LETTER LAMDA
-μμ	GREEK SMALL LETTER MU
-νν	GREEK SMALL LETTER NU
-ξξ	GREEK SMALL LETTER XI
-οο	GREEK SMALL LETTER OMICRON
-ππ	GREEK SMALL LETTER PI
-ρρ	GREEK SMALL LETTER RHO
-ςς	GREEK SMALL LETTER FINAL SIGMA
-σσ	GREEK SMALL LETTER SIGMA
-ττ	GREEK SMALL LETTER TAU
-υυ	GREEK SMALL LETTER UPSILON
-φφ	GREEK SMALL LETTER PHI
-χχ	GREEK SMALL LETTER CHI
-ψψ	GREEK SMALL LETTER PSI
-ωω	GREEK SMALL LETTER OMEGA
-ϑϑ	GREEK THETA SYMBOL
-ϕϕ	GREEK PHI SYMBOL
-ϖϖ	GREEK PI SYMBOL
-ϵϵ	GREEK LUNATE EPSILON SYMBOL
-‐‐	HYPHEN
-––	EN DASH
-——	EM DASH
-‘‘	LEFT SINGLE QUOTATION MARK
-’’	RIGHT SINGLE QUOTATION MARK
-‚‚	SINGLE LOW-9 QUOTATION MARK
-““	LEFT DOUBLE QUOTATION MARK
-””	RIGHT DOUBLE QUOTATION MARK
-„„	DOUBLE LOW-9 QUOTATION MARK
-††	DAGGER
-‡‡	DOUBLE DAGGER
-••	BULLET
-‰‰	PER MILLE SIGN
-′′	PRIME
-″″	DOUBLE PRIME
-‹‹	SINGLE LEFT-POINTING ANGLE QUOTATION MARK
-››	SINGLE RIGHT-POINTING ANGLE QUOTATION MARK
-⁄⁄	FRACTION SLASH
-€€€	EURO SIGN
-ℑℑ	BLACK-LETTER CAPITAL I
-ℜℜ	BLACK-LETTER CAPITAL R
-™™	TRADE MARK SIGN
-ℵℵ	ALEF SYMBOL
-⅛⅛	VULGAR FRACTION ONE EIGHTH
-⅜⅜	VULGAR FRACTION THREE EIGHTHS
-⅝⅝	VULGAR FRACTION FIVE EIGHTHS
-⅞⅞	VULGAR FRACTION SEVEN EIGHTHS
-←←	LEFTWARDS ARROW
-↑↑	UPWARDS ARROW
-→→	RIGHTWARDS ARROW
-↓↓	DOWNWARDS ARROW
-↔↔	LEFT RIGHT ARROW
-↵↵	DOWNWARDS ARROW WITH CORNER LEFTWARDS
-⇐⇐	LEFTWARDS DOUBLE ARROW
-⇑⇑	UPWARDS DOUBLE ARROW
-⇒⇒	RIGHTWARDS DOUBLE ARROW
-⇓⇓	DOWNWARDS DOUBLE ARROW
-⇔⇔	LEFT RIGHT DOUBLE ARROW
-∀∀	FOR ALL
-∂∂	PARTIAL DIFFERENTIAL
-∃∃	THERE EXISTS
-∅∅	EMPTY SET
-∈∈	ELEMENT OF
-∋∋	CONTAINS AS MEMBER
-−−	MINUS SIGN
-∓∓	MINUS-OR-PLUS SIGN
-∗∗	ASTERISK OPERATOR
-√√	SQUARE ROOT
-∝∝	PROPORTIONAL TO
-∞∞	INFINITY
-∠∠	ANGLE
-∧∧	LOGICAL AND
-∨∨	LOGICAL OR
-∩∩	INTERSECTION
-∪∪	UNION
-∫∫	INTEGRAL
-∴∴∴	THEREFORE
-∼∼	TILDE OPERATOR
-≃≃	ASYMPTOTICALLY EQUAL TO
-≅≅	APPROXIMATELY EQUAL TO
-≈≈≈	ALMOST EQUAL TO
-≠≠	NOT EQUAL TO
-≡≡	IDENTICAL TO
-≢≢	NOT IDENTICAL TO
-≤≤	LESS-THAN OR EQUAL TO
-≥≥	GREATER-THAN OR EQUAL TO
-⊂⊂	SUBSET OF
-⊃⊃	SUPERSET OF
-⊆⊆	SUBSET OF OR EQUAL TO
-⊇⊇	SUPERSET OF OR EQUAL TO
-⊕⊕	CIRCLED PLUS
-⊗⊗	CIRCLED TIMES
-⊥⊥	UP TACK
-⋅⋅	DOT OPERATOR
-⌈⌈	LEFT CEILING
-⌉⌉	RIGHT CEILING
-⌊⌊	LEFT FLOOR
-⌋⌋	RIGHT FLOOR
-⎪⎪	CURLY BRACKET EXTENSION
-⎯⎯	HORIZONTAL LINE EXTENSION
-││	BOX DRAWINGS LIGHT VERTICAL
-□□	WHITE SQUARE
-◊◊	LOZENGE
-○○	WHITE CIRCLE
-☜☜	WHITE LEFT POINTING INDEX
-☞☞	WHITE RIGHT POINTING INDEX
-⟨⟨	MATHEMATICAL LEFT ANGLE BRACKET
-⟩⟩	MATHEMATICAL RIGHT ANGLE BRACKET
+ıı	LATIN SMALL LETTER DOTLESS I
+IJIJ	LATIN CAPITAL LIGATURE IJ
+ijij	LATIN SMALL LIGATURE IJ
+ŁŁ	LATIN CAPITAL LETTER L WITH STROKE
+łł	LATIN SMALL LETTER L WITH STROKE
+ŒŒ	LATIN CAPITAL LIGATURE OE
+œœ	LATIN SMALL LIGATURE OE
+ƒƒ	LATIN SMALL LETTER F WITH HOOK
+ˇˇ	CARON
+˘˘	BREVE
+˚˚	RING ABOVE
+˛˛	OGONEK
+˝˝	DOUBLE ACUTE ACCENT
+ΑΑ	GREEK CAPITAL LETTER ALPHA
+ΒΒ	GREEK CAPITAL LETTER BETA
+ΔΔ	GREEK CAPITAL LETTER DELTA
+ΕΕ	GREEK CAPITAL LETTER EPSILON
+ΖΖ	GREEK CAPITAL LETTER ZETA
+ΗΗ	GREEK CAPITAL LETTER ETA
+ΘΘ	GREEK CAPITAL LETTER THETA
+ΙΙ	GREEK CAPITAL LETTER IOTA
+ΚΚ	GREEK CAPITAL LETTER KAPPA
+ΛΛ	GREEK CAPITAL LETTER LAMDA
+ΜΜ	GREEK CAPITAL LETTER MU
+ΝΝ	GREEK CAPITAL LETTER NU
+ΞΞ	GREEK CAPITAL LETTER XI
+ΟΟ	GREEK CAPITAL LETTER OMICRON
+ΠΠ	GREEK CAPITAL LETTER PI
+ΡΡ	GREEK CAPITAL LETTER RHO
+ΤΤ	GREEK CAPITAL LETTER TAU
+ΥΥ	GREEK CAPITAL LETTER UPSILON
+ΦΦ	GREEK CAPITAL LETTER PHI
+ΧΧ	GREEK CAPITAL LETTER CHI
+ΨΨ	GREEK CAPITAL LETTER PSI
+ΩΩ	GREEK CAPITAL LETTER OMEGA
+αα	GREEK SMALL LETTER ALPHA
+ββ	GREEK SMALL LETTER BETA
+γγ	GREEK SMALL LETTER GAMMA
+δδ	GREEK SMALL LETTER DELTA
+εε	GREEK SMALL LETTER EPSILON
+ζζ	GREEK SMALL LETTER ZETA
+ηη	GREEK SMALL LETTER ETA
+θθ	GREEK SMALL LETTER THETA
+ιι	GREEK SMALL LETTER IOTA
+κκ	GREEK SMALL LETTER KAPPA
+λλ	GREEK SMALL LETTER LAMDA
+μμ	GREEK SMALL LETTER MU
+νν	GREEK SMALL LETTER NU
+ξξ	GREEK SMALL LETTER XI
+οο	GREEK SMALL LETTER OMICRON
+ππ	GREEK SMALL LETTER PI
+ρρ	GREEK SMALL LETTER RHO
+ςς	GREEK SMALL LETTER FINAL SIGMA
+σσ	GREEK SMALL LETTER SIGMA
+ττ	GREEK SMALL LETTER TAU
+υυ	GREEK SMALL LETTER UPSILON
+φφ	GREEK SMALL LETTER PHI
+χχ	GREEK SMALL LETTER CHI
+ψψ	GREEK SMALL LETTER PSI
+ωω	GREEK SMALL LETTER OMEGA
+ϑϑ	GREEK THETA SYMBOL
+ϕϕ	GREEK PHI SYMBOL
+ϖϖ	GREEK PI SYMBOL
+ϵϵ	GREEK LUNATE EPSILON SYMBOL
+‐‐	HYPHEN
+––	EN DASH
+——	EM DASH
+‘‘	LEFT SINGLE QUOTATION MARK
+’’	RIGHT SINGLE QUOTATION MARK
+‚‚	SINGLE LOW-9 QUOTATION MARK
+““	LEFT DOUBLE QUOTATION MARK
+””	RIGHT DOUBLE QUOTATION MARK
+„„	DOUBLE LOW-9 QUOTATION MARK
+††	DAGGER
+‡‡	DOUBLE DAGGER
+••	BULLET
+‰‰	PER MILLE SIGN
+′′	PRIME
+″″	DOUBLE PRIME
+‹‹	SINGLE LEFT-POINTING ANGLE QUOTATION MARK
+››	SINGLE RIGHT-POINTING ANGLE QUOTATION MARK
+⁄⁄	FRACTION SLASH
+€€€	EURO SIGN
+ℑℑ	BLACK-LETTER CAPITAL I
+ℜℜ	BLACK-LETTER CAPITAL R
+™™	TRADE MARK SIGN
+ℵℵ	ALEF SYMBOL
+⅛⅛	VULGAR FRACTION ONE EIGHTH
+⅜⅜	VULGAR FRACTION THREE EIGHTHS
+⅝⅝	VULGAR FRACTION FIVE EIGHTHS
+⅞⅞	VULGAR FRACTION SEVEN EIGHTHS
+←←	LEFTWARDS ARROW
+↑↑	UPWARDS ARROW
+→→	RIGHTWARDS ARROW
+↓↓	DOWNWARDS ARROW
+↔↔	LEFT RIGHT ARROW
+↵↵	DOWNWARDS ARROW WITH CORNER LEFTWARDS
+⇐⇐	LEFTWARDS DOUBLE ARROW
+⇑⇑	UPWARDS DOUBLE ARROW
+⇒⇒	RIGHTWARDS DOUBLE ARROW
+⇓⇓	DOWNWARDS DOUBLE ARROW
+⇔⇔	LEFT RIGHT DOUBLE ARROW
+∀∀	FOR ALL
+∂∂	PARTIAL DIFFERENTIAL
+∃∃	THERE EXISTS
+∅∅	EMPTY SET
+∈∈	ELEMENT OF
+∋∋	CONTAINS AS MEMBER
+−−	MINUS SIGN
+∓∓	MINUS-OR-PLUS SIGN
+∗∗	ASTERISK OPERATOR
+√√	SQUARE ROOT
+∝∝	PROPORTIONAL TO
+∞∞	INFINITY
+∠∠	ANGLE
+∧∧	LOGICAL AND
+∨∨	LOGICAL OR
+∩∩	INTERSECTION
+∪∪	UNION
+∫∫	INTEGRAL
+∴∴∴	THEREFORE
+∼∼	TILDE OPERATOR
+≃≃	ASYMPTOTICALLY EQUAL TO
+≅≅	APPROXIMATELY EQUAL TO
+≈≈≈	ALMOST EQUAL TO
+≠≠	NOT EQUAL TO
+≡≡	IDENTICAL TO
+≢≢	NOT IDENTICAL TO
+≤≤	LESS-THAN OR EQUAL TO
+≥≥	GREATER-THAN OR EQUAL TO
+⊂⊂	SUBSET OF
+⊃⊃	SUPERSET OF
+⊆⊆	SUBSET OF OR EQUAL TO
+⊇⊇	SUPERSET OF OR EQUAL TO
+⊕⊕	CIRCLED PLUS
+⊗⊗	CIRCLED TIMES
+⊥⊥	UP TACK
+⋅⋅	DOT OPERATOR
+⌈⌈	LEFT CEILING
+⌉⌉	RIGHT CEILING
+⌊⌊	LEFT FLOOR
+⌋⌋	RIGHT FLOOR
+⎪⎪	CURLY BRACKET EXTENSION
+⎯⎯	HORIZONTAL LINE EXTENSION
+││	BOX DRAWINGS LIGHT VERTICAL
+□□	WHITE SQUARE
+◊◊	LOZENGE
+○○	WHITE CIRCLE
+☜☜	WHITE LEFT POINTING INDEX
+☞☞	WHITE RIGHT POINTING INDEX
+⟨⟨	MATHEMATICAL LEFT ANGLE BRACKET
+⟩⟩	MATHEMATICAL RIGHT ANGLE BRACKET
 ENDTEST