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

projects / tatoo.git / commit

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

author	Kim Nguyễn <kn@lri.fr>
	Mon, 25 Nov 2013 20:39:46 +0000 (21:39 +0100)
committer	Kim Nguyễn <kn@lri.fr>
	Mon, 25 Nov 2013 20:39:46 +0000 (21:39 +0100)
commit	35abea737ead2d4fd121d0cb8bdbda38cfcaa8d3
tree	697e153e9cfc052160947878107b0999336583a6	tree \| snapshot
parent	78d247dc5e6d5e64a4ab848702c23ce81b6fc615	commit \| diff

Cosmetic changes (truncate long lines, remove trailing spaces…)

16 files changed:

include/debug.ml		diff \| blob \| history
src/ata.ml		diff \| blob \| history
src/ata.mli		diff \| blob \| history
src/boolean.ml		diff \| blob \| history
src/cache.mli		diff \| blob \| history
src/hlist.ml		diff \| blob \| history
src/html.ml		diff \| blob \| history
src/html.mli		diff \| blob \| history
src/naive_tree.ml		diff \| blob \| history
src/options.ml		diff \| blob \| history
src/pretty.mli		diff \| blob \| history
src/ptset.ml		diff \| blob \| history
src/qNameSet.ml		diff \| blob \| history
src/run.ml		diff \| blob \| history
src/tatoo.ml		diff \| blob \| history
src/tree.ml		diff \| blob \| history

Tree Automata TOOlkit