projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be3f8ef) | patch
Further simplify Remakefile. Remove some inefficiency in module dependency checking...
authorKim Nguyễn <kn@lri.fr>
Mon, 3 Mar 2014 23:21:26 +0000 (00:21 +0100)
committerKim Nguyễn <kn@lri.fr>
Mon, 3 Mar 2014 23:21:26 +0000 (00:21 +0100)
commitd7019c01a47613e258fccb127e6085cb91d26546
treee613cfed15b65aa993c6960e31d1ed1f62cf74fftree | snapshot
parentbe3f8efc9faf12df977b5e64a50868279fcb435bcommit | diff
Further simplify Remakefile. Remove some inefficiency in module dependency checking script.
Remakefile.in diff | blob | history
tools/ocamlmoduledep.sh diff | blob | history
Tree Automata TOOlkit