Remove non-reentrant timing function.
[SXSI/xpathcomp.git] / src / utils.ml
2012-10-21 Kim NguyễnRemove non-reentrant timing function.
2012-10-21 Kim NguyễnMake the time function re-entrant.
2012-10-21 Kim NguyễnFix indentation in the time function.
2012-10-21 Kim NguyễnMerge branch 'master' into pretty-print
2012-10-21 Kim NguyễnMerge branch 'master' into pretty-print
2012-10-21 Kim NguyễnWIP on beautyfying the pretty-printing module.
2012-02-05 kimCreate branch trace-refactor
2012-02-05 kimAdd tracing infrastructure.