projects / matthijs / master-project / report.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc37439) | patch
Use the unicode rightwards arrow instead of \rightarrow.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 24 Nov 2009 15:45:39 +0000 (16:45 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 24 Nov 2009 15:45:39 +0000 (16:45 +0100)
commit0726312509c9a708eb4ecc0ac36b6b67eba45ad5
treebd9a3ae91e91df398039981f492f83097785f1d9tree | snapshot
parentbc374390a1c3db1c12f90e35d3b769dd537a846ccommit | diff
Use the unicode rightwards arrow instead of \rightarrow.

It seems this uses the arrow from the current font instead of something
else, which looks slightly better.
pret-lam.lua diff | blob | history
Master's thesis on the cλash compiler