From ee4f24d635e0db2029f026a1c098ae76d1e537d3 Mon Sep 17 00:00:00 2001 From: Marius Date: Thu, 4 Aug 2011 02:00:13 +0300 Subject: beta 2011.08.04 00:42 --- tex/generic/context/luatex/luatex-fonts-merged.lua | 21 +-------------------- 1 file changed, 1 insertion(+), 20 deletions(-) (limited to 'tex/generic') 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]])) -- cgit v1.2.3