diff options
| author | Marius <mariausol@gmail.com> | 2012-09-07 00:20:22 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2012-09-07 00:20:22 +0300 |
| commit | 5b4c6dd791dfcb02838191ccee764cbb215b7cc4 (patch) | |
| tree | bfd6e20699fd7d82734057723f2e765ce0d74da5 /tex/generic | |
| parent | edd2b22c9d92fd77d47b5fb6517a230470ec7038 (diff) | |
| download | context-5b4c6dd791dfcb02838191ccee764cbb215b7cc4.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) |