Split the Options module in two to remove a circular dependency in
[SXSI/xpathcomp.git] / src / options.ml
2012-10-21 Kim NguyễnSplit the Options module in two to remove a circular...
2012-10-19 Kim NguyễnAdd option -nw control the wrapping of results in an...
2012-10-19 Kim NguyễnCompletely silences the output unless -v is given.
2012-05-29 Kim NguyễnAdd command line option to disable caching and jumping
2012-05-04 Kim NguyễnAdd -doc-stats options to print document statistics.
2012-05-02 Kim NguyễnAdd a command line option to disable the indexing of...
2012-04-20 Kim NguyễnAdd -r <n> option to repeat the query execution n times.
2012-03-20 Kim NguyễnChange the logging infrastructure:
2012-03-20 Kim NguyễnRename 'Tracer' module to 'Logger'.
2012-02-05 kimCreate branch trace-refactor
2012-02-05 kimAdd tracing infrastructure.
2012-01-19 kimAdd performances counter option
2011-12-03 kimPurge libxml++ from build.
2011-09-09 kimMore option printing fixes.
2011-09-09 kimFix the help message and display of options.
2011-09-09 kimComment out unused options.
2011-09-09 kimMerge branch 'local-ocamlbuild' into local-trunk