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

from bentley@, tweaked by me

1 files changed, 40 insertions, 40 deletions

diff --git a/regress/char/unicode/namediff.out_html b/regress/char/unicode/namediff.out_html
index fe556af1..4cf287d6 100644
--- a/regress/char/unicode/namediff.out_html
+++ b/regress/char/unicode/namediff.out_html
@@ -1,42 +1,42 @@
 BEGINTEST
-ȷȷ LATIN SMALL LETTER DOTLESS J
-˙˙ DOT ABOVE
-ΓΓ GREEK CAPITAL LETTER GAMMA
-ΣΣ GREEK CAPITAL LETTER SIGMA
-‾‾ OVERLINE
-ℏℏℏ PLANCK CONSTANT OVER TWO PI
-℘℘ SCRIPT CAPITAL P
-↕↕ UP DOWN ARROW
-⇕⇕ UP DOWN DOUBLE ARROW
-∇∇ NABLA
-∉∉ NOT AN ELEMENT OF
-∏∏ N-ARY PRODUCT
-∐∐ N-ARY COPRODUCT
-∑∑ N-ARY SUMMATION
-⊄⊄ NOT A SUBSET OF
-⊅⊅ NOT A SUPERSET OF
-⎛⎛ LEFT PARENTHESIS UPPER HOOK
-⎜⎜ LEFT PARENTHESIS EXTENSION
-⎝⎝ LEFT PARENTHESIS LOWER HOOK
-⎞⎞ RIGHT PARENTHESIS UPPER HOOK
-⎟⎟ RIGHT PARENTHESIS EXTENSION
-⎠⎠ RIGHT PARENTHESIS LOWER HOOK
-⎡⎡ LEFT SQUARE BRACKET UPPER CORNER
-⎢⎢ LEFT SQUARE BRACKET EXTENSION
-⎣⎣ LEFT SQUARE BRACKET LOWER CORNER
-⎤⎤ RIGHT SQUARE BRACKET UPPER CORNER
-⎥⎥ RIGHT SQUARE BRACKET EXTENSION
-⎦⎦ RIGHT SQUARE BRACKET LOWER CORNER
-⎧⎧ LEFT CURLY BRACKET UPPER HOOK
-⎨⎨ LEFT CURLY BRACKET MIDDLE PIECE
-⎩⎩ LEFT CURLY BRACKET LOWER HOOK
-⎪⎪⎪⎪ CURLY BRACKET EXTENSION
-⎫⎫ RIGHT CURLY BRACKET UPPER HOOK
-⎬⎬ RIGHT CURLY BRACKET MIDDLE PIECE
-⎭⎭ RIGHT CURLY BRACKET LOWER HOOK
-♠♠ BLACK SPADE SUIT
-♣♣ BLACK CLUB SUIT
-♥♥ BLACK HEART SUIT
-♦♦ BLACK DIAMOND SUIT
-✓✓ CHECK MARK
+ȷȷ LATIN SMALL LETTER DOTLESS J
+˙˙ DOT ABOVE
+ΓΓ GREEK CAPITAL LETTER GAMMA
+ΣΣ GREEK CAPITAL LETTER SIGMA
+‾‾ OVERLINE
+ℏℏℏ PLANCK CONSTANT OVER TWO PI
+℘℘ SCRIPT CAPITAL P
+↕↕ UP DOWN ARROW
+⇕⇕ UP DOWN DOUBLE ARROW
+∇∇ NABLA
+∉∉ NOT AN ELEMENT OF
+∏∏ N-ARY PRODUCT
+∐∐ N-ARY COPRODUCT
+∑∑ N-ARY SUMMATION
+⊄⊄ NOT A SUBSET OF
+⊅⊅ NOT A SUPERSET OF
+⎛⎛ LEFT PARENTHESIS UPPER HOOK
+⎜⎜ LEFT PARENTHESIS EXTENSION
+⎝⎝ LEFT PARENTHESIS LOWER HOOK
+⎞⎞ RIGHT PARENTHESIS UPPER HOOK
+⎟⎟ RIGHT PARENTHESIS EXTENSION
+⎠⎠ RIGHT PARENTHESIS LOWER HOOK
+⎡⎡ LEFT SQUARE BRACKET UPPER CORNER
+⎢⎢ LEFT SQUARE BRACKET EXTENSION
+⎣⎣ LEFT SQUARE BRACKET LOWER CORNER
+⎤⎤ RIGHT SQUARE BRACKET UPPER CORNER
+⎥⎥ RIGHT SQUARE BRACKET EXTENSION
+⎦⎦ RIGHT SQUARE BRACKET LOWER CORNER
+⎧⎧ LEFT CURLY BRACKET UPPER HOOK
+⎨⎨ LEFT CURLY BRACKET MIDDLE PIECE
+⎩⎩ LEFT CURLY BRACKET LOWER HOOK
+⎪⎪⎪⎪ CURLY BRACKET EXTENSION
+⎫⎫ RIGHT CURLY BRACKET UPPER HOOK
+⎬⎬ RIGHT CURLY BRACKET MIDDLE PIECE
+⎭⎭ RIGHT CURLY BRACKET LOWER HOOK
+♠♠ BLACK SPADE SUIT
+♣♣ BLACK CLUB SUIT
+♥♥ BLACK HEART SUIT
+♦♦ BLACK DIAMOND SUIT
+✓✓ CHECK MARK
 ENDTEST