Make Report use globbing for dependencies.
[matthijs/master-project/report.git] / pret-lam.lua
index cf50e87..f14b962 100644 (file)
@@ -25,6 +25,7 @@ buffers.visualizers.lam.symbols = {
     -- The default * sits very high above the baseline, \ast (u+2217) looks
     -- better.
     ['*'] = {repr = '\\ast'},
+    ['~'] = {repr = '\\sim'},
 }
 
 
@@ -64,7 +65,7 @@ end
 function buffers.visualizers.lam.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-z][%a%d_]+)(.*)")
+        res, newstr = utf.match(str, "^([a-zA-Z][%a%d_]+)(.*)")
         return res, newstr or str
 end