projects / SXSI / xpathcomp.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix indentation in the time function.
[SXSI/xpathcomp.git] / src / logger.ml
2012-10-21 Kim NguyễnFix indentation in the time function. blob | commitdiff | raw
2012-10-19 Kim NguyễnCompletely silences the output unless -v is given. blob | commitdiff | raw | diff to current
2012-10-12 Kim NguyễnMerge branch 'master' of ssh://git.nguyen.vg/home/kim... blob | commitdiff | raw | diff to current
2012-07-24 Kim NguyễnRemove all traces of Tom's Grammar. blob | commitdiff | raw | diff to current
2012-05-02 Kim NguyễnAdd 'bottom-up' logging level. blob | commitdiff | raw | diff to current
2012-03-20 Kim NguyễnChange the logging infrastructure: blob | commitdiff | raw | diff to current
2012-03-20 Kim NguyễnRename 'Tracer' module to 'Logger'. blob | commitdiff | raw | diff to current
XPath Library based on tree automata.