projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8beacdf) | patch
Files compil.ml? for compilation XPath -> ASTA
authorLucca Hirschi <lucca.hirschi@gmail.com>
Mon, 2 Jul 2012 09:13:15 +0000 (11:13 +0200)
committerLucca Hirschi <lucca.hirschi@gmail.com>
Mon, 2 Jul 2012 09:13:15 +0000 (11:13 +0200)
commit5a9c2accf1b54294cd71b90ca5cca5f69ac8e76e
tree6152095f67893e501277eead2b4069968a67692btree | snapshot
parent8beacdfe24b6e93a7c1a4faee4c5587104f5c1adcommit | diff
  Files compil.ml? for compilation XPath -> ASTA
+ test.ml call this function and print the result
src/asta.ml diff | blob | history
src/asta.mli diff | blob | history
src/compil.ml [new file with mode: 0644] blob
src/compil.mli [new file with mode: 0644] blob
src/test.ml diff | blob | history
Tree Automata TOOlkit