projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da84ba9) | patch
Increase the size of the border of selected nodes in the html trace.
authorKim Nguyễn <kn@lri.fr>
Sun, 18 Aug 2013 10:19:08 +0000 (12:19 +0200)
committerKim Nguyễn <kn@lri.fr>
Sun, 18 Aug 2013 10:19:08 +0000 (12:19 +0200)
commit3df27c09d9b9a84abe1c3d546c2e7243d3173657
tree685c204ff5e9de73718c23214a511e77002d3466tree | snapshot
parentda84ba92e452d4d2a3eaf89f7638db25a7f84909commit | diff
Increase the size of the border of selected nodes in the html trace.
src/html.ml diff | blob | history
src/run.ml diff | blob | history
Tree Automata TOOlkit