From: Matthijs Kooijman Date: Fri, 28 Aug 2009 12:02:37 +0000 (+0200) Subject: Support the | character in pret-lam. X-Git-Tag: final-thesis~276 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=3bc5509d94b45a3b0965d992d259091d3d822b42;p=matthijs%2Fmaster-project%2Freport.git Support the | character in pret-lam. --- diff --git a/pret-lam.lua b/pret-lam.lua index 2e70001..9bf5b96 100644 --- a/pret-lam.lua +++ b/pret-lam.lua @@ -24,9 +24,9 @@ local symbols = { -- better. ['*'] = {repr = '\\ast'}, ['~'] = {repr = '\\sim'}, + ['|'] = {repr = '\\char' .. utf.byte('|')}, } - -- Keywords that should be bold local keywords = { ['case'] = {},