Found two bugs by rewriting the compilation in the thesis.
[tatoo.git] / run_tests
2012-07-03 Lucca Hirschi+ result
2012-07-03 Lucca Hirschi Fix but in test.ml
2012-07-03 Lucca Hirschi Compilation works for all XPath queries from the...
2012-07-02 Lucca HirschiPrint labels (=QName -> qname.ml? )
2012-06-29 Lucca HirschiMerge branch 'lucca-master' of ssh://git.nguyen.vg...
2012-06-29 Lucca HirschiQueries and script for testing.