projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6bc104a) | patch
Add function to cast tags to integers.
authorKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 11:03:07 +0000 (12:03 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 11:03:07 +0000 (12:03 +0100)
commit791c8ffadb7e65fc61d18e6ad8e497f1cfe46fb3
treeb94dbb38f6e31814ea93b378c745f0daccbc724atree | snapshot
parent6bc104a1034ba2d526c44b853836e3b42dd0ab2ccommit | diff
Add function to cast tags to integers.
src/tag.ml diff | blob | history
src/tag.mli diff | blob | history
XPath Library based on tree automata.