Merged -correctxpath branch
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Mon, 23 Mar 2009 04:00:59 +0000 (04:00 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Mon, 23 Mar 2009 04:00:59 +0000 (04:00 +0000)
commit7489c542a7b7357a1c2bbc436d1d77c601833d3b
tree46204b00d75acfc08a10ec347971940338f18c3b
parentd4342e4bb9c853114de295567cd91ec86bb9e68f
Merged -correctxpath branch

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@269 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
Makefile
OCamlDriver.cpp
ata.ml
ata.mli
main.ml
ptset.ml
ptset.mli
tree.ml
tree.mli
unit_test.ml
xPath.ml