]> matita.cs.unibo.it Git - helm.git/commit
half ported to the "new" module organization.
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 9 May 2006 13:41:00 +0000 (13:41 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 9 May 2006 13:41:00 +0000 (13:41 +0000)
commit28eef5b98d64d50e0c593a538f5eacb6279d395b
treeaf5c348eaae8918334eca443c62f396386d1aec5
parentcbcd34fe15122eb9835a5226b98be1050b097d6a
half ported to the "new" module organization.
daemons/graphs/tools/Makefile
daemons/proofChecker/Makefile
daemons/rdfly/Makefile
daemons/uwobo/Makefile
daemons/whelp/Makefile
daemons/whelp/mooglePp.ml
daemons/whelp/mooglePp.mli
daemons/whelp/searchEngine.ml