From: Matthijs Kooijman Date: Wed, 10 Jun 2009 14:47:45 +0000 (+0200) Subject: Let pret-lam recognize the * symbol. X-Git-Tag: final-thesis~326 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=f4487c5200e90a7b0d9db0319324335fd55e810b;p=matthijs%2Fmaster-project%2Freport.git Let pret-lam recognize the * symbol. --- diff --git a/pret-lam.lua b/pret-lam.lua index c25daef..7bb1f8a 100644 --- a/pret-lam.lua +++ b/pret-lam.lua @@ -21,6 +21,9 @@ buffers.visualizers.lam.tokens = { [' '] = {repr = '\\obs '}, ['_'] = {repr = '\\_'}, ['->'] = {repr = '\\rightarrow'}, + -- The default * sits very high above the baseline, \ast (u+2217) looks + -- better. + ['*'] = {repr = '\\ast'}, ['case'] = {style = 'bold'}, ['of'] = {style = 'bold'}, ['let'] = {style = 'bold'},