projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e6a2cc) | patch
Make the time function re-entrant.
authorKim Nguyễn <kn@lri.fr>
Sun, 21 Oct 2012 10:10:34 +0000 (12:10 +0200)
committerKim Nguyễn <kn@lri.fr>
Sun, 21 Oct 2012 10:10:34 +0000 (12:10 +0200)
commit7e27afe6fa006ad355237ccc0695c6493ea57929
treec89d1a341454cf28c8126596c4a09ca1cc9809e3tree | snapshot
parent1e6a2cc1fe6d69d45a4605aaf2ee6821a610a231commit | diff
Make the time function re-entrant.
src/main.ml diff | blob | history
src/tree.ml diff | blob | history
src/utils.ml diff | blob | history
XPath Library based on tree automata.