Fixed bug in NextElement, improved caching
[SXSI/xpathcomp.git] / tag.mli
2009-04-30 kimCommit before changing Tree.ml interface
2009-03-10 kimmerge from branch stable-succint-jumping
2009-02-09 kimMerge branch xpathcomp-succintbackend-refactor back...
2009-01-27 kimFix stupid bug with Tag indices
2009-01-27 kim- Removed the direct calls to TextCollection, use XMLTr...
2008-11-21 kimInitial commit