projects / SXSI / xpathcomp.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Split the Options module in two to remove a circular dependency in
[SXSI/xpathcomp.git] / src / options.mli
2012-10-26 Kim NguyễnSplit the Options module in two to remove a circular... blob | commitdiff | raw
2012-10-19 Kim NguyễnAdd option -nw control the wrapping of results in an... blob | commitdiff | raw | diff to current
2012-05-29 Kim NguyễnAdd command line option to disable caching and jumping blob | commitdiff | raw | diff to current
2012-05-04 Kim NguyễnAdd -doc-stats options to print document statistics. blob | commitdiff | raw | diff to current
2012-04-20 Kim NguyễnAdd -r <n> option to repeat the query execution n times. blob | commitdiff | raw | diff to current
2012-03-20 Kim NguyễnRename 'Tracer' module to 'Logger'. blob | commitdiff | raw | diff to current
2012-01-19 kimAdd performances counter option 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.