projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ef88e3) | patch
Re-organize the Remakefile.
authorKim Nguyễn <kn@lri.fr>
Thu, 18 Apr 2013 09:27:51 +0000 (11:27 +0200)
committerKim Nguyễn <kn@lri.fr>
Thu, 18 Apr 2013 09:28:22 +0000 (11:28 +0200)
commit82fa70675272c579a642c6e62c8fbf28a1bba56c
treeb3d9395492469402a1ef3880f803b595037a565ctree | snapshot
parent0ef88e3bb1cc9fea830978723813dd8d23837039commit | diff
Re-organize the Remakefile.
Fixes a few typos and make remake.cpp callable from subdirectories.
Remakefile.in diff | blob | history
autogen.sh [new file with mode: 0755] blob
remake.cpp diff | blob | history
src/hlist.mli diff | blob | history
src/xpath/ast.ml diff | blob | history
Tree Automata TOOlkit