2014-08-12 20:10:50 +08:00

11 lines
324 B
JavaScript
Raw Blame History

PR.registerLangHandler(PR.createSimpleLexer([
["pln", /^[\t\n\r \xa0]+/, null, "\t\n\r <20>\xa0"],
["com", /^%[^\n\r]*/, null, "%"]
], [
["kwd", /^\\[@-Za-z]+/],
["kwd", /^\\./],
["typ", /^[$&]/],
["lit", /[+-]?(?:\.\d+|\d+(?:\.\d*)?)(cm|em|ex|in|pc|pt|bp|mm)/i],
["pun", /^[()=[\]{}]+/]
]), ["latex", "tex"]);