various cleanups, more memoization in symbol table build function
-rw-r--r-- 1476 HACKING
-rw-r--r-- 7639 LICENCE
-rw-r--r-- 4216 Makefile
-rw-r--r-- 27475 OCamlDriver.cpp
-rw-r--r-- 324 Utils.h
-rw-r--r-- 7222 XMLDocShredder.cpp
-rw-r--r-- 1651 XMLDocShredder.h
-rw-r--r-- 44475 ata.ml
-rw-r--r-- 3328 ata.mli
drwxr-xr-x - benchmark
-rw-r--r-- 3500 custom.ml
-rw-r--r-- 899 debug.ml
-rw-r--r-- 1563 depend
-rw-r--r-- 6650 finiteCofinite.ml
-rw-r--r-- 1206 finiteCofinite.mli
-rw-r--r-- 1047 hcons.ml
-rw-r--r-- 493 hcons.mli
-rw-r--r-- 2177 hlist.ml
-rw-r--r-- 727 hlist.mli
-rw-r--r-- 7582 html_trace.ml
-rw-r--r-- 8627 main.ml
-rw-r--r-- 1795 memoizer.ml
-rw-r--r-- 143 memoizer.mli
-rw-r--r-- 1464 memory.ml
-rw-r--r-- 557 memory.mli
-rw-r--r-- 8133 myTimeXMLTree.cpp
-rw-r--r-- 1403 options.ml
-rw-r--r-- 345 options.mli
-rw-r--r-- 11146 ptset.ml
-rw-r--r-- 2928 ptset.mli
-rw-r--r-- 6272 results.c
-rw-r--r-- 645 results.h
-rw-r--r-- 1623 sigs.mli
-rw-r--r-- 1827 tag.ml
-rw-r--r-- 536 tag.mli
-rw-r--r-- 835 tagSet.ml
-rw-r--r-- 684 tagSet.mli
drwxr-xr-x - tests
-rw-r--r-- 7951 timeXMLTree.cpp
-rw-r--r-- 27315 tree.ml
-rw-r--r-- 3585 tree.mli
-rw-r--r-- 7721 ulexer.ml
-rw-r--r-- 860 ulexer.mli
-rw-r--r-- 1352 unit_test.ml
-rw-r--r-- 2367 utils.ml
-rw-r--r-- 17119 xPath.ml
-rw-r--r-- 1726 xPath.mli