removed cruft, fixed ptset.ml
[SXSI/xpathcomp.git] / ptset.mli
2009-04-26 kimHalf way through refactoring
2009-04-17 kimbottom up run works for text nodes
2009-03-23 kimMerged -correctxpath branch
2009-03-10 kimmerge from branch stable-succint-jumping
2009-02-09 kimAdded missing files