diff options
| author | Hans Hagen <pragma@wxs.nl> | 2012-09-06 23:03:00 +0200 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2012-09-06 23:03:00 +0200 |
| commit | 3e104e2078f619b5f73eb5983f2308a672c18c5f (patch) | |
| tree | c75d1a7a400d0e687d6a1ea95b89ee55cc25e11a /tex/generic | |
| parent | 425cbd3c69a5e8fc3ded0a48749205ba52641eb4 (diff) | |
| download | context-3e104e2078f619b5f73eb5983f2308a672c18c5f.tar.gz | |
beta 2012.09.06 23:03
Diffstat (limited to 'tex/generic')
| -rw-r--r-- | tex/generic/context/luatex/luatex-fonts-merged.lua | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index 9650b1024..1140ff916 100644 --- a/tex/generic/context/luatex/luatex-fonts-merged.lua +++ b/tex/generic/context/luatex/luatex-fonts-merged.lua @@ -1,6 +1,6 @@ -- merged file : luatex-fonts-merged.lua -- parent file : luatex-fonts.lua --- merge date : 09/04/12 18:08:16 +-- merge date : 09/06/12 23:03:51 do -- begin closure to overcome local limits and interference @@ -1293,6 +1293,10 @@ patterns.undouble = (dquote/"") * patterns.nodquote * (dquote/"") patterns.unquoted = patterns.undouble + patterns.unsingle -- more often undouble patterns.unspacer = ((patterns.spacer^1)/"")^0 +patterns.singlequoted = squote * patterns.nosquote * squote +patterns.doublequoted = dquote * patterns.nodquote * dquote +patterns.quoted = patterns.doublequoted + patterns.singlequoted + patterns.somecontent = (anything - newline - space)^1 -- (utf8char - newline - space)^1 patterns.beginline = #(1-newline) |