From: Matthijs Kooijman Date: Wed, 9 Dec 2009 11:49:53 +0000 (+0100) Subject: Require a word (including its subscript) to end in a number or letter. X-Git-Tag: final-thesis~4 X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=75ecd039ac5d8da858fa77b44ec882cbde1a37f1;hp=23f5c33533e6ab45727c79b309751c2c25dd3327 Require a word (including its subscript) to end in a number or letter. --- diff --git a/pret-lam.lua b/pret-lam.lua index 88e3924..feaa5e4 100644 --- a/pret-lam.lua +++ b/pret-lam.lua @@ -88,8 +88,12 @@ end -- the word taken. local function take_word(str) -- A word must always start with a-z (in particular, λ is not a valid - -- start of a word). - res, newstr = utf.match(str, "^([a-zA-Z][%a%d%+%-%,_]+)(.*)") + -- start of a word). A word must always end with a letter or a digit + res, newstr = utf.match(str, "^([a-zA-Z][%a%d%+%-%,_]*[%a%d]+)(.*)") + if not res then + -- The above does not catch single letter words + res, newstr = utf.match(str, "^([a-zA-Z])(.*)") + end return res, newstr or str end