projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Improve performance of parallel run by replacing standard hashtable with
[tatoo.git]
/
src
/
pretty.ml
diff --git
a/src/pretty.ml
b/src/pretty.ml
index
e64edab
..
6d1dd46
100644
(file)
--- a/
src/pretty.ml
+++ b/
src/pretty.ml
@@
-86,6
+86,7
@@
let up_arrow = "↑"
let right_arrow = "→"
let left_arrow = "←"
let epsilon = "ϵ"
+let bullet = "•"
let big_sigma = "∑"
let cap = "∩"
let cup = "∪"