projects / SXSI / xpathcomp.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'split-options-config'
[SXSI/xpathcomp.git] / src / config.ml
2012-10-26 Kim NguyễnSplit the Options module in two to remove a circular... blob | commitdiff | raw
2012-10-21 Kim NguyễnMerge branch 'master' into pretty-print blob | commitdiff | raw
2012-10-21 Kim NguyễnForgot to add the new src/config.ml file. blob | commitdiff | raw
XPath Library based on tree automata.