projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c2c22bf) | patch
Resurect the HTML trace. Now generates a single HTML file containing the SVG.
authorKim Nguyễn <kn@lri.fr>
Fri, 6 Dec 2013 15:09:27 +0000 (16:09 +0100)
committerKim Nguyễn <kn@lri.fr>
Fri, 6 Dec 2013 15:09:27 +0000 (16:09 +0100)
commit129708eaa5983b9463f96b714c00468602339b0a
treea71c79e45a51c67ade39af8661a1c364dac60295tree | snapshot
parentc2c22bf0d75a390c2538b9fce44aae63c542119acommit | diff
Resurect the HTML trace. Now generates a single HTML file containing the SVG.
src/html.ml diff | blob | history
src/html.mli diff | blob | history
src/run.ml diff | blob | history
src/tatoo.ml diff | blob | history
tests/trace/trace.css [deleted file] blob | history
Tree Automata TOOlkit