git.nguyen.vg Git - SXSI/xpathcomp.git/history

2011-02-07	kim	Changed building of tag tables and format.	blob \| commitdiff \| raw
2010-04-28	kim	Fixed nasty garbage collector setting	blob \| commitdiff \| raw \| diff to current
2010-04-28	kim	Safe closure version	blob \| commitdiff \| raw \| diff to current
2009-08-19	kim	Safety before Techfest	blob \| commitdiff \| raw \| diff to current
2009-06-06	kim	Safety commit	blob \| commitdiff \| raw \| diff to current
2009-05-26	kim	added optimisations in the run function	blob \| commitdiff \| raw \| diff to current
2009-05-17	kim	Added debugging messages	blob \| commitdiff \| raw \| diff to current
2009-04-30	kim	Doing the decision procedure	blob \| commitdiff \| raw \| diff to current
2009-04-26	kim	Some more optimisations	blob \| commitdiff \| raw \| diff to current
2009-04-26	kim	Half way through refactoring	blob \| commitdiff \| raw \| diff to current
2009-04-17	kim	adding utils.ml	blob \| commitdiff \| raw \| diff to current

XPath Library based on tree automata.