From 5f6a7c6790baa7e524de5b5bf71a29ea757378f6 Mon Sep 17 00:00:00 2001 From: Hans Hagen Date: Sun, 12 May 2019 19:57:39 +0200 Subject: 2019-05-12 19:16:00 --- tex/context/base/mkiv/buff-imp-xml.lua | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'tex/context/base/mkiv/buff-imp-xml.lua') diff --git a/tex/context/base/mkiv/buff-imp-xml.lua b/tex/context/base/mkiv/buff-imp-xml.lua index 0c48ed3b0..7bac868d7 100644 --- a/tex/context/base/mkiv/buff-imp-xml.lua +++ b/tex/context/base/mkiv/buff-imp-xml.lua @@ -41,7 +41,9 @@ local handler = visualizers.newhandler { } local comment = P("--") -local name = (patterns.letter + patterns.digit + S('_-.'))^1 +local alsoname = patterns.utf8two + patterns.utf8three + patterns.utf8four +----- alsoname = R("\128\255") -- basically any encoding without checking (fast) +local name = (patterns.letter + patterns.digit + S('_-.') + alsoname)^1 local entity = P("&") * (1-P(";"))^1 * P(";") local openbegin = P("<") local openend = P("