projects / SXSI / xpathcomp.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
Temporary commit.
[SXSI/xpathcomp.git] / include /
drwxr-xr-x   ..
-rw-r--r-- 1399 debug.ml blob | history | raw
-rw-r--r-- 369 trace.ml blob | history | raw
-rw-r--r-- 3231 utils.ml blob | history | raw
-rw-r--r-- 312 utils32.ml blob | history | raw
-rw-r--r-- 338 utils64.ml blob | history | raw
XPath Library based on tree automata.