projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 318ebb3) | patch
Last tweaking of the Remakefile for automated testing.
authorKim Nguyễn <kn@lri.fr>
Tue, 23 Apr 2013 09:36:10 +0000 (11:36 +0200)
committerKim Nguyễn <kn@lri.fr>
Tue, 23 Apr 2013 09:36:10 +0000 (11:36 +0200)
commitff22f9cdf128206981144d94644a02caa70ad873
tree027b079cdc5b0ad807fc0416033caee9ae59e5e0tree | snapshot
parent318ebb395fe3665046b76cf4de6cf8166b94d4cccommit | diff
Last tweaking of the Remakefile for automated testing.
Remakefile.in diff | blob | history
tests/alphabet.xml.summary diff | blob | history
tests/comments00.xml.summary diff | blob | history
tests/xmark_small.xml.summary diff | blob | history
Tree Automata TOOlkit