Various improvements:
authorKim Nguyễn <kn@lri.fr>
Wed, 2 May 2012 12:32:34 +0000 (14:32 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 2 May 2012 12:32:34 +0000 (14:32 +0200)
commite4e34e687798285e65df74561915f7721b066631
treea555faa9360490fa94b8a44a170b91a1942b1554
parent431946f30b0733498ffa731cfa97692b2c942208
Various improvements:
- Store the set of attributes in a TLIST instead of a Ptset.Int.t
- Add a C trim function for string (to remove whitespaces left and right)
- Rewrite the text_query wrappers.
src/tree.ml
src/utils_stub.cpp
src/xml-tree_stub.cpp