Changed building of tag tables and format.
[SXSI/xpathcomp.git] / utils.ml
2011-02-07 kimChanged building of tag tables and format.
2010-04-28 kimFixed nasty garbage collector setting
2010-04-28 kimSafe closure version
2009-08-19 kimSafety before Techfest
2009-06-06 kimSafety commit
2009-05-26 kimadded optimisations in the run function
2009-05-17 kimAdded debugging messages
2009-04-30 kimDoing the decision procedure
2009-04-26 kimSome more optimisations
2009-04-26 kimHalf way through refactoring
2009-04-17 kimadding utils.ml