]> 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)
commit3b875dad94c1835059450dc0de3b1e2779aff454
treee652397244c49f55cae5d100ad8f5e2fda47ff3c
parent8f9d476c32c48d14348a61889dc191c7696bd404
half ported to the "new" module organization.
helm/software/daemons/graphs/tools/Makefile
helm/software/daemons/proofChecker/Makefile
helm/software/daemons/rdfly/Makefile
helm/software/daemons/uwobo/Makefile
helm/software/daemons/whelp/Makefile
helm/software/daemons/whelp/mooglePp.ml
helm/software/daemons/whelp/mooglePp.mli
helm/software/daemons/whelp/searchEngine.ml