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

2012-10-22	Kim Nguyễn	Change the structure of log messages. Add a new	blob \| commitdiff \| raw
2012-05-29	Kim Nguyễn	Fix typo in debugging message.	blob \| commitdiff \| raw \| diff to current
2012-05-02	Kim Nguyễn	Add more logging statements.	blob \| commitdiff \| raw \| diff to current
2012-04-18	Kim Nguyễn	Misc. rewrites:	blob \| commitdiff \| raw \| diff to current
2012-04-02	Kim Nguyễn	Uses the Logger.print function instead of Printf.eprintf	blob \| commitdiff \| raw \| diff to current
2012-03-20	Kim Nguyễn	Change the logging infrastructure:	blob \| commitdiff \| raw \| diff to current
2012-03-20	Kim Nguyễn	Rename 'Tracer' module to 'Logger'.	blob \| commitdiff \| raw \| diff to current
2012-03-19	Kim Nguyễn	Temporary commit	blob \| commitdiff \| raw \| diff to current
2012-03-16	Kim Nguyễn	Finaly clean up formula representation.	blob \| commitdiff \| raw \| diff to current
2012-03-01	Kim Nguyễn	Cosmetic changes.	blob \| commitdiff \| raw \| diff to current
2012-02-14	kim	Merge branch 'local-library-split' into local-trunk trunk	blob \| commitdiff \| raw \| diff to current
2012-02-07	kim	Temporary commit.	blob \| commitdiff \| raw \| diff to current
2012-01-19	kim	Formatting/code clean-up.	blob \| commitdiff \| raw \| diff to current
2011-09-11	kim	Refactoring and cosmetic changes	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.