diff options
author | Hans Hagen <pragma@wxs.nl> | 2014-07-14 19:25:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2014-07-14 19:25:00 +0200 |
commit | d091a10cf3c159a68967e4b50795481a223e652b (patch) | |
tree | e30adef4e8876bec3c6678092c87526827f7bf27 /tex/context/base/back-exp.lua | |
parent | 9db977edc178a6f9503a8864c75b1a8c0a18887b (diff) | |
download | context-d091a10cf3c159a68967e4b50795481a223e652b.tar.gz |
beta 2014.07.14 19:25
Diffstat (limited to 'tex/context/base/back-exp.lua')
-rw-r--r-- | tex/context/base/back-exp.lua | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/tex/context/base/back-exp.lua b/tex/context/base/back-exp.lua index d17fce135..b82ba78c4 100644 --- a/tex/context/base/back-exp.lua +++ b/tex/context/base/back-exp.lua @@ -140,6 +140,7 @@ local stoptiming = statistics.stoptiming -- todo: more locals (and optimize) local exportversion = "0.31" +local mathmlns = "http://www.w3.org/1998/Math/MathML" local nofcurrentcontent = 0 -- so we don't free (less garbage collection) local currentcontent = { } @@ -524,7 +525,7 @@ do result[#result+1] = f_attribute("date",os.date()) result[#result+1] = f_attribute("context",environment.version) result[#result+1] = f_attribute("version",exportversion) - result[#result+1] = f_attribute("xmlns:m","http://www.w3.org/1998/Math/MathML") + result[#result+1] = f_attribute("xmlns:m",mathmlns) local identity = interactions.general.getidentity() for i=1,#fields do local key = fields[i] @@ -543,8 +544,8 @@ do local itemgroups = { } - local f_symbol = formatters[" symbol='%s'"] - local s_packed = " packed='yes'" + local f_symbol = formatters[" symbol='%s'"] + local s_packed = " packed='yes'" function structurestags.setitemgroup(current,packed,symbol) itemgroups[detailedtag("itemgroup",current)] = { @@ -1194,7 +1195,8 @@ do local hash = attributehash[di.fulltag] local mode = (hash and hash.mode) == "display" and "block" or "inline" di.attributes = { - display = mode + ["display"] = mode, + ["xmlns:m"] = mathmlns, } -- can be option if needed: if mode == "inline" then |