projects / SXSI / xpathcomp.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'master' of ssh://git.nguyen.vg/home/kim/repository/SXSI/xpathcomp
[SXSI/xpathcomp.git] / utils / conf.ml
2012-02-14 kimMerge branch 'local-library-split' into local-trunk trunk blob | commitdiff | raw
2012-02-13 kimChange configure script to use separate libraries. blob | commitdiff | raw
2011-12-03 kimPurge libxml++ from build. blob | commitdiff | raw | diff to current
2011-09-09 kimMerge branch 'local-ocamlbuild' into local-trunk blob | commitdiff | raw | diff to current
XPath Library based on tree automata.