Merge branch 'handle-stdout'
[SXSI/xpathcomp.git] / src / logger.mli
2012-10-26 Kim NguyễnMerge branch 'handle-stdout' master
2012-10-26 Kim NguyễnMerge branch 'split-options-config'
2012-10-26 Kim NguyễnMerge branch 'master' of ssh://git.nguyen.vg/SXSI/xpathcomp
2012-10-26 Kim NguyễnMerge branch 'pretty-print'
2012-10-22 Kim NguyễnChange the structure of log messages. Add a new
2012-10-19 Kim NguyễnCompletely silences the output unless -v is given.
2012-03-20 Kim NguyễnChange the logging infrastructure:
2012-03-20 Kim NguyễnRename 'Tracer' module to 'Logger'.