diff options
| author | Hans Hagen <pragma@wxs.nl> | 2010-11-01 21:16:00 +0100 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2010-11-01 21:16:00 +0100 |
| commit | 095b801b8c7a75ca5e214acbe6a62bfff31559d9 (patch) | |
| tree | 370ef674c188c272bfb84cc2e9f1fbe794381bd0 /tex/generic | |
| parent | 5af44dc9b7791e82d01b0cc817a128ad0332b07d (diff) | |
| download | context-095b801b8c7a75ca5e214acbe6a62bfff31559d9.tar.gz | |
beta 2010.11.01 21:16
Diffstat (limited to 'tex/generic')
| -rw-r--r-- | tex/generic/context/luatex-fonts-merged.lua | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tex/generic/context/luatex-fonts-merged.lua b/tex/generic/context/luatex-fonts-merged.lua index b366fb801..a8ad77afd 100644 --- a/tex/generic/context/luatex-fonts-merged.lua +++ b/tex/generic/context/luatex-fonts-merged.lua @@ -1,6 +1,6 @@ -- merged file : luatex-fonts-merged.lua -- parent file : luatex-fonts.lua --- merge date : 11/01/10 12:14:26 +-- merge date : 11/01/10 21:16:51 do -- begin closure to overcome local limits and interference @@ -190,8 +190,8 @@ local lpeg = require("lpeg") lpeg.patterns = lpeg.patterns or { } -- so that we can share local patterns = lpeg.patterns -local P, R, S, Ct, C, Cs, Cc, V = lpeg.P, lpeg.R, lpeg.S, lpeg.Ct, lpeg.C, lpeg.Cs, lpeg.Cc, lpeg.V -local match = lpeg.match +local P, R, S, V, match = lpeg.P, lpeg.R, lpeg.S, lpeg.V, lpeg.match +local Ct, C, Cs, Cc, Cf, Cg = lpeg.Ct, lpeg.C, lpeg.Cs, lpeg.Cc, lpeg.Cf, lpeg.Cg local utfcharacters = string.utfcharacters local utfgmatch = unicode and unicode.utf8.gmatch |