summaryrefslogtreecommitdiff
path: root/tex/generic
diff options
context:
space:
mode:
authorMarius <mariausol@gmail.com>2013-03-10 15:40:13 +0200
committerMarius <mariausol@gmail.com>2013-03-10 15:40:13 +0200
commit5f8fcb63f3e90458fa3b9feb9511b538340fd027 (patch)
tree2a064f6b42da2d7f74f3164d36b8409d6b170999 /tex/generic
parent8bfadcb777942fb94f714df18d4172f0704dcbea (diff)
downloadcontext-5f8fcb63f3e90458fa3b9feb9511b538340fd027.tar.gz
beta 2013.03.10 14:36
Diffstat (limited to 'tex/generic')
-rw-r--r--tex/generic/context/luatex/luatex-fonts-merged.lua11
1 files changed, 10 insertions, 1 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua
index 28859a963..1013f5467 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 : 03/08/13 01:14:04
+-- merge date : 03/10/13 14:36:13
do -- begin closure to overcome local limits and interference
@@ -564,6 +564,15 @@ end
function lpeg.times(pattern,n)
return P(nextstep(n,2^16,{ "start",["1"]=pattern }))
end
+local digit=R("09")
+local period=P(".")
+local zero=P("0")
+local trailingzeros=zero^0*-digit
+local case_1=period*trailingzeros/""
+local case_2=period*(digit-trailingzeros)^1*(trailingzeros/"")
+local number=digit^1*(case_1+case_2)
+local stripper=Cs((number+1)^0)
+lpeg.patterns.stripzeros=stripper
end -- closure