projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4814ef8) | patch
Add a command line option to disable the indexing of ignorable whitespaces.
authorKim Nguyễn <kn@lri.fr>
Wed, 2 May 2012 12:26:42 +0000 (14:26 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 2 May 2012 12:27:19 +0000 (14:27 +0200)
commitd3db422b91ed145abd0eccb83e96c97d6431fac6
tree79ab100f23d32df7f479d796d2fc44d57cefd811tree | snapshot
parent4814ef8392dd9197a6bef7d7bc82be4c2b8e7f5dcommit | diff
Add a command line option to disable the indexing of ignorable whitespaces.
src/options.ml diff | blob | history
src/tree.ml diff | blob | history
tests/perf_tests/xmark_10.xml_timing.83e9f9d8f219 [new file with mode: 0644] blob
XPath Library based on tree automata.