git.nguyen.vg Git - SXSI/xpathcomp.git/commit

projects / SXSI / xpathcomp.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 96e2e78) | patch

author	Kim Nguyễn <kn@lri.fr>
	Mon, 22 Oct 2012 15:56:30 +0000 (17:56 +0200)
committer	Kim Nguyễn <kn@lri.fr>
	Mon, 22 Oct 2012 15:56:30 +0000 (17:56 +0200)
commit	b146572b9707292dbc1eacf5fb67d84271cafbba
tree	d8e3850ae6cc426a3115024b64b00a322cf01fdf	tree \| snapshot
parent	96e2e786eb8c229d9aa4676a7067fd2f0d2e4da9	commit \| diff

Change the structure of log messages. Add a new
Logger.start_msg/Logger.msg/Logger.end_msg to have more controle about
box/opening/closing.

src/ata.ml		diff \| blob \| history
src/logger.ml		diff \| blob \| history
src/logger.mli		diff \| blob \| history
src/main.ml		diff \| blob \| history
src/profile.ml		diff \| blob \| history
src/runtime.ml		diff \| blob \| history
src/utils.ml		diff \| blob \| history

XPath Library based on tree automata.