projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 20538a1) | patch
Main program output incorrect xml tags
authorKim Nguyễn <kn@lri.fr>
Sun, 10 Mar 2013 11:08:04 +0000 (12:08 +0100)
committerKim Nguyễn <kn@lri.fr>
Sun, 10 Mar 2013 11:08:04 +0000 (12:08 +0100)
commit398d3e07fa7a472395fa125f504c11629ec601ad
tree0c71d352403c1dfec9a8a05672c74d2973fe51f1tree | snapshot
parent20538a1c949f89745b73f89f9d0c146dc42454a2commit | diff
Main program output incorrect xml tags
Adapt test scripts so that they can be called from the project root
src/main.ml diff | blob | history
tools/do_test.sh diff | blob | history
tools/gen_test.sh diff | blob | history
Tree Automata TOOlkit