diff options
| author | Marius <mariausol@gmail.com> | 2013-03-10 15:40:13 +0200 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2013-03-10 15:40:13 +0200 |
| commit | 5f8fcb63f3e90458fa3b9feb9511b538340fd027 (patch) | |
| tree | 2a064f6b42da2d7f74f3164d36b8409d6b170999 /tex/generic | |
| parent | 8bfadcb777942fb94f714df18d4172f0704dcbea (diff) | |
| download | context-5f8fcb63f3e90458fa3b9feb9511b538340fd027.tar.gz | |
beta 2013.03.10 14:36
Diffstat (limited to 'tex/generic')
| -rw-r--r-- | tex/generic/context/luatex/luatex-fonts-merged.lua | 11 |
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 |