git.nguyen.vg Git - tatoo.git/commit

projects / tatoo.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: a601c67) | patch

author	Kim Nguyễn <kn@lri.fr>
	Thu, 15 Aug 2013 15:11:02 +0000 (17:11 +0200)
committer	Kim Nguyễn <kn@lri.fr>
	Thu, 15 Aug 2013 15:42:02 +0000 (17:42 +0200)
commit	20ef25a27a326b250ae7f32997fa6d249a6b1751
tree	c427a36bd55acec0d711658d731514c9425de9f6	tree \| snapshot
parent	a601c67e92d85f7096db693e4fde86950be598c6	commit \| diff

Rewrite the HTML debugging output to generate an svg file directly instead going
through graphviz.

src/html.ml		diff \| blob \| history
src/html.mli		diff \| blob \| history
src/run.ml		diff \| blob \| history
tests/trace/trace.css		diff \| blob \| history
tools/add_onclick.sh	[deleted file]	blob \| history

Tree Automata TOOlkit