projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28e780c) | patch
Fix indentation in the time function.
authorKim Nguyễn <kn@lri.fr>
Sun, 21 Oct 2012 08:55:53 +0000 (10:55 +0200)
committerKim Nguyễn <kn@lri.fr>
Sun, 21 Oct 2012 08:56:25 +0000 (10:56 +0200)
commit1e6a2cc1fe6d69d45a4605aaf2ee6821a610a231
tree2d716bc7ff2c7673254549c1cce6fdcff5e72aeftree | snapshot
parent28e780c2b3b259a8696a44be932572b91f69583ccommit | diff
Fix indentation in the time function.
Use Utils.time instead of the one INCLUDED "utils.ml"
src/logger.ml diff | blob | history
src/main.ml diff | blob | history
src/utils.ml diff | blob | history
XPath Library based on tree automata.