git.nguyen.vg Git - SXSI/xpathcomp.git/history

2012-03-20	Kim Nguyễn	Change the logging infrastructure:	blob \| commitdiff \| raw
2012-03-20	Kim Nguyễn	Rename 'Tracer' module to 'Logger'.	blob \| commitdiff \| raw \| diff to current
2012-02-05	kim	Create branch trace-refactor	blob \| commitdiff \| raw \| diff to current
2012-02-05	kim	Add tracing infrastructure.	blob \| commitdiff \| raw \| diff to current
2012-01-19	kim	Add performances counter option	blob \| commitdiff \| raw \| diff to current
2011-12-03	kim	Purge libxml++ from build.	blob \| commitdiff \| raw \| diff to current
2011-09-09	kim	More option printing fixes.	blob \| commitdiff \| raw \| diff to current
2011-09-09	kim	Fix the help message and display of options.	blob \| commitdiff \| raw \| diff to current
2011-09-09	kim	Comment out unused options.	blob \| commitdiff \| raw \| diff to current
2011-09-09	kim	Merge branch 'local-ocamlbuild' into local-trunk	blob \| commitdiff \| raw \| diff to current

XPath Library based on tree automata.