Misc. rewrites:
[SXSI/xpathcomp.git] / src / compile.ml
2012-04-18 Kim NguyễnMisc. rewrites:
2012-03-16 Kim NguyễnFinaly clean up formula representation.
2011-09-12 kimRefactoring and cosmetic changes
2011-09-09 kimMerge branch 'local-ocamlbuild' into local-trunk