projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f49a93d) | patch
Only print ∑ instead of ∑-{} when the set is universal.
authorKim Nguyễn <kn@lri.fr>
Mon, 4 Mar 2013 15:56:09 +0000 (16:56 +0100)
committerKim Nguyễn <kn@lri.fr>
Mon, 4 Mar 2013 18:02:02 +0000 (19:02 +0100)
commitc044611b635cd32a0945accc0f050f6fefc3e66c
tree566e212698eb6a95e64657c1c4de8845a891478ctree | snapshot
parentf49a93deba13602e16a3923695281e9a20215ac8commit | diff
Only print ∑ instead of ∑-{} when the set is universal.
src/utils/qNameSet.ml diff | blob | history
Tree Automata TOOlkit