projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 960e4da) | patch
Modify alarm to not treat the program's options as its own.
authorKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 16:56:34 +0000 (17:56 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 17:06:34 +0000 (18:06 +0100)
commitde0244cfd38842c68de6557c2765c382b9ef1283
tree7214b9c52aa9935ac0b42da48b2da7ae9fb5b5f9tree | snapshot
parent960e4daabcffa00ab73a9b0edb7366f16df284bacommit | diff
Modify alarm to not treat the program's options as its own.
       - Changes the way alarm is invoked:
       alarm [options] -- program [program options]
utils/alarm.ml diff | blob | history
XPath Library based on tree automata.