Further optimisations, changed the prototype of Tree.mli
[SXSI/xpathcomp.git] / ptset.ml
2009-04-27 kimOptimized the topdown run yet again
2009-04-26 kimSome more optimisations
2009-04-26 kim.
2009-04-26 kimremoved cruft, fixed ptset.ml
2009-04-26 kimHalf way through refactoring
2009-03-23 kimMerged -correctxpath branch
2009-03-10 kimmerge from branch stable-succint-jumping
2009-03-02 kimMerge from branch stable-succint-refactor
2009-03-02 kimRemoved testing cruft
2009-02-16 kimMerged from branch stable-succint-refactor
2009-02-09 kimAdded missing files