diff options
| author | Marius <mariausol@gmail.com> | 2011-08-04 02:00:13 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2011-08-04 02:00:13 +0300 |
| commit | ee4f24d635e0db2029f026a1c098ae76d1e537d3 (patch) | |
| tree | f7556301a37485e08c0476bca6689715e9153f04 /tex/generic | |
| parent | 5056d7a854142aa63032b0a3ca4d41c496e41faf (diff) | |
| download | context-ee4f24d635e0db2029f026a1c098ae76d1e537d3.tar.gz | |
beta 2011.08.04 00:42
Diffstat (limited to 'tex/generic')
| -rw-r--r-- | tex/generic/context/luatex/luatex-fonts-merged.lua | 21 |
1 files changed, 1 insertions, 20 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index 6f35d4d43..e4f752770 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 : 07/26/11 09:17:48 +-- merge date : 08/04/11 00:42:26 do -- begin closure to overcome local limits and interference @@ -1246,25 +1246,6 @@ patterns.unspacer = ((patterns.spacer^1)/"")^0 patterns.somecontent = (anything - newline - space)^1 -- (utf8char - newline - space)^1 patterns.beginline = #(1-newline) --- local unquoted = Cs(patterns.unquoted * endofstring) -- not C --- --- function string.unquoted(str) --- return match(unquoted,str) or str --- end --- --- more efficient on long strings: - -local unquoted = ( - squote * Cs((1 - P(-2))^0) * squote - + dquote * Cs((1 - P(-2))^0) * dquote -) - -function string.unquoted(str) - return match(unquoted,str) or str -end - -patterns.unquoted = unquoted - -- print(string.unquoted("test")) -- print(string.unquoted([["t\"est"]])) -- print(string.unquoted([["t\"est"x]])) |