]> matita.cs.unibo.it Git - helm.git/commit
daemons tamed
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 18:42:41 +0000 (18:42 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 18:42:41 +0000 (18:42 +0000)
commit76ad23ea1e83e8c187a4593027e9baed1bb022e3
tree7db307cc4f0455803c58f8708006a7f4dba26043
parent2b2b90087f836c2f32291935216549e9370e68c3
daemons tamed
297 files changed:
helm/DEVEL/profile-manager/Makefile [deleted file]
helm/DEVEL/profile-manager/control.html [deleted file]
helm/DEVEL/profile-manager/index.html [deleted file]
helm/DEVEL/profile-manager/profile-manager.xsl [deleted file]
helm/DEVEL/profile-manager/profile.ml [deleted file]
helm/DEVEL/profile-manager/profile_manager.ml [deleted file]
helm/DEVEL/profile-manager/profile_manager_env.ml [deleted file]
helm/DEVEL/profile-manager/response.ml [deleted file]
helm/DEVEL/profile-manager/welcome.html [deleted file]
helm/DEVEL/rdfly/.cvsignore [deleted file]
helm/DEVEL/rdfly/Makefile [deleted file]
helm/DEVEL/rdfly/rdfly.conf.xml.sample [deleted file]
helm/DEVEL/rdfly/rdfly.ml [deleted file]
helm/graphs/jsmenu/HM_Arrays.js [deleted file]
helm/graphs/jsmenu/HM_Arrays_prova.js [deleted file]
helm/graphs/jsmenu/HM_Loader.js [deleted file]
helm/graphs/jsmenu/HM_Loader_prova.js [deleted file]
helm/graphs/jsmenu/HM_More_black_left.gif [deleted file]
helm/graphs/jsmenu/HM_More_black_right.gif [deleted file]
helm/graphs/jsmenu/HM_More_blue_left.gif [deleted file]
helm/graphs/jsmenu/HM_More_blue_right.gif [deleted file]
helm/graphs/jsmenu/HM_More_cyan_left.gif [deleted file]
helm/graphs/jsmenu/HM_More_cyan_right.gif [deleted file]
helm/graphs/jsmenu/HM_More_green_left.gif [deleted file]
helm/graphs/jsmenu/HM_More_green_right.gif [deleted file]
helm/graphs/jsmenu/HM_More_magenta_left.gif [deleted file]
helm/graphs/jsmenu/HM_More_magenta_right.gif [deleted file]
helm/graphs/jsmenu/HM_More_red_left.gif [deleted file]
helm/graphs/jsmenu/HM_More_red_right.gif [deleted file]
helm/graphs/jsmenu/HM_More_white_left.gif [deleted file]
helm/graphs/jsmenu/HM_More_white_right.gif [deleted file]
helm/graphs/jsmenu/HM_More_yellow_left.gif [deleted file]
helm/graphs/jsmenu/HM_More_yellow_right.gif [deleted file]
helm/graphs/jsmenu/HM_ScriptDOM.js [deleted file]
helm/graphs/jsmenu/HM_ScriptIE4.js [deleted file]
helm/graphs/jsmenu/HM_ScriptNS4.js [deleted file]
helm/graphs/jsmenu/LoadMe.html [deleted file]
helm/graphs/jsmenu/prova.gif [deleted file]
helm/graphs/jsmenu/prova.html [deleted file]
helm/graphs/tools/.cvsignore [deleted file]
helm/graphs/tools/Makefile [deleted file]
helm/graphs/tools/drawGraph.conf.xml.sample [deleted file]
helm/graphs/tools/drawGraph.ml [deleted file]
helm/graphs/tools/mk_html.pl [deleted file]
helm/graphs/tools/simplify_deps/.cvsignore [deleted file]
helm/graphs/tools/simplify_deps/Makefile [deleted file]
helm/graphs/tools/simplify_deps/simplify_deps.ml [deleted file]
helm/graphs/tools/uriSetQueue.conf.xml.sample [deleted file]
helm/graphs/tools/uriSetQueue.ml [deleted file]
helm/helm_data/.cvsignore [deleted file]
helm/helm_data/AUTHORS [deleted file]
helm/helm_data/COPYING [deleted file]
helm/helm_data/ChangeLog [deleted file]
helm/helm_data/LICENSE [deleted file]
helm/helm_data/LICENSE.ml [deleted file]
helm/helm_data/LICENSE.script [deleted file]
helm/helm_data/LICENSE.xml [deleted file]
helm/helm_data/Makefile.in [deleted file]
helm/helm_data/NEWS [deleted file]
helm/helm_data/README [deleted file]
helm/helm_data/config.cache.pkg [deleted file]
helm/helm_data/configure.in [deleted file]
helm/helm_data/helm_data.spec.in [deleted file]
helm/helmpot/.cvsignore [deleted file]
helm/helmpot/AUTHORS [deleted file]
helm/helmpot/ChangeLog [deleted file]
helm/helmpot/LICENSE [deleted file]
helm/helmpot/Makefile.am [deleted file]
helm/helmpot/NEWS [deleted file]
helm/helmpot/README [deleted file]
helm/helmpot/acconfig.h [deleted file]
helm/helmpot/configure.in [deleted file]
helm/helmpot/debian/changelog [deleted file]
helm/helmpot/debian/control [deleted file]
helm/helmpot/debian/copyright [deleted file]
helm/helmpot/debian/docs [deleted file]
helm/helmpot/debian/rules [deleted file]
helm/helmpot/guiGTK.c [deleted file]
helm/helmpot/guiGTK.h [deleted file]
helm/helmpot/helmpot.spec.in [deleted file]
helm/helmpot/main.c [deleted file]
helm/helmpot/pot_mask [deleted file]
helm/http_getter/.cvsignore [deleted file]
helm/http_getter/AUTHORS [deleted file]
helm/http_getter/BUGS [deleted file]
helm/http_getter/COPYING [deleted file]
helm/http_getter/ChangeLog [deleted file]
helm/http_getter/Makefile [deleted file]
helm/http_getter/Makefile.overrides [deleted file]
helm/http_getter/NEWS [deleted file]
helm/http_getter/README [deleted file]
helm/http_getter/buildTimeOpts.ml.in [deleted file]
helm/http_getter/configure.ac [deleted file]
helm/http_getter/http_getter.conf.xml.sample [deleted file]
helm/http_getter/main.ml [deleted file]
helm/http_getter/panel/.cvsignore [deleted file]
helm/http_getter/panel/Makefile [deleted file]
helm/http_getter/panel/control.html [deleted file]
helm/http_getter/panel/control.js [deleted file]
helm/http_getter/panel/index.html [deleted file]
helm/http_getter/panel/welcome.html [deleted file]
helm/http_getter/tools/dump_db.ml [deleted file]
helm/http_getter/tools/dump_db.pl [deleted file]
helm/http_getter/tools/uri_escape.pl [deleted file]
helm/http_getter/tools/uri_unescape.pl [deleted file]
helm/proofChecker/.cvsignore [deleted file]
helm/proofChecker/.depend [deleted file]
helm/proofChecker/Makefile [deleted file]
helm/proofChecker/proofChecker.conf.xml.sample [deleted file]
helm/proofChecker/proofChecker.ml [deleted file]
helm/searchEngine/.cvsignore [deleted file]
helm/searchEngine/.depend [deleted file]
helm/searchEngine/Makefile [deleted file]
helm/searchEngine/html/Makefile [deleted file]
helm/searchEngine/html/includes.xsl [deleted file]
helm/searchEngine/html/manual/alias.jpg [deleted file]
helm/searchEngine/html/manual/ex1.jpg [deleted file]
helm/searchEngine/html/manual/frames.jpg [deleted file]
helm/searchEngine/html/manual/index.html [deleted file]
helm/searchEngine/html/moogle.html.src [deleted file]
helm/searchEngine/html/moogle.png [deleted file]
helm/searchEngine/html/moogle_chat.html.src [deleted file]
helm/searchEngine/html/moogle_form.html.src [deleted file]
helm/searchEngine/html/moogle_header.html.src [deleted file]
helm/searchEngine/html/moogle_help.html [deleted file]
helm/searchEngine/html/moogle_init.html [deleted file]
helm/searchEngine/html/moogle_querybar.html.src [deleted file]
helm/searchEngine/html/moogle_small.png [deleted file]
helm/searchEngine/html/moogle_syntax.html [deleted file]
helm/searchEngine/html/moogle_trailer.html.src [deleted file]
helm/searchEngine/html/whelp.png [deleted file]
helm/searchEngine/html/whelp.svg [deleted file]
helm/searchEngine/html/whelp_small.png [deleted file]
helm/searchEngine/mooglePp.ml [deleted file]
helm/searchEngine/mooglePp.mli [deleted file]
helm/searchEngine/preloaded_uris.txt [deleted file]
helm/searchEngine/searchEngine.conf.xml.sample [deleted file]
helm/searchEngine/searchEngine.ml [deleted file]
helm/software/daemons/graphs/jsmenu/HM_Arrays.js [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_Arrays_prova.js [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_Loader.js [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_Loader_prova.js [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_More_black_left.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_More_black_right.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_More_blue_left.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_More_blue_right.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_More_cyan_left.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_More_cyan_right.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_More_green_left.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_More_green_right.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_More_magenta_left.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_More_magenta_right.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_More_red_left.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_More_red_right.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_More_white_left.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_More_white_right.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_More_yellow_left.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_More_yellow_right.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_ScriptDOM.js [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_ScriptIE4.js [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/HM_ScriptNS4.js [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/LoadMe.html [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/prova.gif [new file with mode: 0644]
helm/software/daemons/graphs/jsmenu/prova.html [new file with mode: 0644]
helm/software/daemons/graphs/tools/.cvsignore [new file with mode: 0644]
helm/software/daemons/graphs/tools/Makefile [new file with mode: 0644]
helm/software/daemons/graphs/tools/drawGraph.conf.xml.sample [new file with mode: 0644]
helm/software/daemons/graphs/tools/drawGraph.ml [new file with mode: 0644]
helm/software/daemons/graphs/tools/mk_html.pl [new file with mode: 0755]
helm/software/daemons/graphs/tools/simplify_deps/.cvsignore [new file with mode: 0644]
helm/software/daemons/graphs/tools/simplify_deps/Makefile [new file with mode: 0644]
helm/software/daemons/graphs/tools/simplify_deps/simplify_deps.ml [new file with mode: 0644]
helm/software/daemons/graphs/tools/uriSetQueue.conf.xml.sample [new file with mode: 0644]
helm/software/daemons/graphs/tools/uriSetQueue.ml [new file with mode: 0644]
helm/software/daemons/http_getter/.cvsignore [new file with mode: 0644]
helm/software/daemons/http_getter/AUTHORS [new file with mode: 0644]
helm/software/daemons/http_getter/BUGS [new file with mode: 0644]
helm/software/daemons/http_getter/COPYING [new file with mode: 0644]
helm/software/daemons/http_getter/ChangeLog [new file with mode: 0644]
helm/software/daemons/http_getter/Makefile [new file with mode: 0644]
helm/software/daemons/http_getter/Makefile.overrides [new file with mode: 0644]
helm/software/daemons/http_getter/NEWS [new file with mode: 0644]
helm/software/daemons/http_getter/README [new file with mode: 0644]
helm/software/daemons/http_getter/buildTimeOpts.ml.in [new file with mode: 0644]
helm/software/daemons/http_getter/configure.ac [new file with mode: 0644]
helm/software/daemons/http_getter/http_getter.conf.xml.sample [new file with mode: 0644]
helm/software/daemons/http_getter/main.ml [new file with mode: 0644]
helm/software/daemons/http_getter/panel/.cvsignore [new file with mode: 0644]
helm/software/daemons/http_getter/panel/Makefile [new file with mode: 0644]
helm/software/daemons/http_getter/panel/control.html [new file with mode: 0644]
helm/software/daemons/http_getter/panel/control.js [new file with mode: 0644]
helm/software/daemons/http_getter/panel/index.html [new file with mode: 0644]
helm/software/daemons/http_getter/panel/welcome.html [new file with mode: 0644]
helm/software/daemons/http_getter/tools/dump_db.ml [new file with mode: 0755]
helm/software/daemons/http_getter/tools/dump_db.pl [new file with mode: 0755]
helm/software/daemons/http_getter/tools/uri_escape.pl [new file with mode: 0755]
helm/software/daemons/http_getter/tools/uri_unescape.pl [new file with mode: 0755]
helm/software/daemons/proofChecker/.cvsignore [new file with mode: 0644]
helm/software/daemons/proofChecker/.depend [new file with mode: 0644]
helm/software/daemons/proofChecker/Makefile [new file with mode: 0644]
helm/software/daemons/proofChecker/proofChecker.conf.xml.sample [new file with mode: 0644]
helm/software/daemons/proofChecker/proofChecker.ml [new file with mode: 0644]
helm/software/daemons/rdfly/.cvsignore [new file with mode: 0644]
helm/software/daemons/rdfly/Makefile [new file with mode: 0644]
helm/software/daemons/rdfly/rdfly.conf.xml.sample [new file with mode: 0644]
helm/software/daemons/rdfly/rdfly.ml [new file with mode: 0644]
helm/software/daemons/uwobo/.cvsignore [new file with mode: 0644]
helm/software/daemons/uwobo/.depend [new file with mode: 0644]
helm/software/daemons/uwobo/Makefile [new file with mode: 0644]
helm/software/daemons/uwobo/doc/uwobo.tex [new file with mode: 0644]
helm/software/daemons/uwobo/log/.cvsignore [new file with mode: 0644]
helm/software/daemons/uwobo/panel/.cvsignore [new file with mode: 0644]
helm/software/daemons/uwobo/panel/Makefile [new file with mode: 0644]
helm/software/daemons/uwobo/panel/control.html [new file with mode: 0644]
helm/software/daemons/uwobo/panel/control.js [new file with mode: 0644]
helm/software/daemons/uwobo/panel/index.html [new file with mode: 0644]
helm/software/daemons/uwobo/panel/welcome.html [new file with mode: 0644]
helm/software/daemons/uwobo/uwobo.conf.xml.sample [new file with mode: 0644]
helm/software/daemons/uwobo/uwobo.ml [new file with mode: 0644]
helm/software/daemons/uwobo/uwobo_common.ml [new file with mode: 0644]
helm/software/daemons/uwobo/uwobo_common.mli [new file with mode: 0644]
helm/software/daemons/uwobo/uwobo_engine.ml [new file with mode: 0644]
helm/software/daemons/uwobo/uwobo_engine.mli [new file with mode: 0644]
helm/software/daemons/uwobo/uwobo_logger.ml [new file with mode: 0644]
helm/software/daemons/uwobo/uwobo_logger.mli [new file with mode: 0644]
helm/software/daemons/uwobo/uwobo_profiles.ml [new file with mode: 0644]
helm/software/daemons/uwobo/uwobo_profiles.mli [new file with mode: 0644]
helm/software/daemons/uwobo/uwobo_styles.ml [new file with mode: 0644]
helm/software/daemons/uwobo/uwobo_styles.mli [new file with mode: 0644]
helm/software/daemons/whelp/.cvsignore [new file with mode: 0644]
helm/software/daemons/whelp/.depend [new file with mode: 0644]
helm/software/daemons/whelp/Makefile [new file with mode: 0644]
helm/software/daemons/whelp/html/Makefile [new file with mode: 0644]
helm/software/daemons/whelp/html/includes.xsl [new file with mode: 0644]
helm/software/daemons/whelp/html/manual/alias.jpg [new file with mode: 0644]
helm/software/daemons/whelp/html/manual/ex1.jpg [new file with mode: 0644]
helm/software/daemons/whelp/html/manual/frames.jpg [new file with mode: 0644]
helm/software/daemons/whelp/html/manual/index.html [new file with mode: 0644]
helm/software/daemons/whelp/html/moogle.html.src [new file with mode: 0644]
helm/software/daemons/whelp/html/moogle.png [new file with mode: 0644]
helm/software/daemons/whelp/html/moogle_chat.html.src [new file with mode: 0644]
helm/software/daemons/whelp/html/moogle_form.html.src [new file with mode: 0644]
helm/software/daemons/whelp/html/moogle_header.html.src [new file with mode: 0644]
helm/software/daemons/whelp/html/moogle_help.html [new file with mode: 0644]
helm/software/daemons/whelp/html/moogle_init.html [new file with mode: 0644]
helm/software/daemons/whelp/html/moogle_querybar.html.src [new file with mode: 0644]
helm/software/daemons/whelp/html/moogle_small.png [new file with mode: 0644]
helm/software/daemons/whelp/html/moogle_syntax.html [new file with mode: 0644]
helm/software/daemons/whelp/html/moogle_trailer.html.src [new file with mode: 0644]
helm/software/daemons/whelp/html/whelp.png [new file with mode: 0644]
helm/software/daemons/whelp/html/whelp.svg [new file with mode: 0644]
helm/software/daemons/whelp/html/whelp_small.png [new file with mode: 0644]
helm/software/daemons/whelp/mooglePp.ml [new file with mode: 0644]
helm/software/daemons/whelp/mooglePp.mli [new file with mode: 0644]
helm/software/daemons/whelp/preloaded_uris.txt [new file with mode: 0644]
helm/software/daemons/whelp/searchEngine.conf.xml.sample [new file with mode: 0644]
helm/software/daemons/whelp/searchEngine.ml [new file with mode: 0644]
helm/uwobo-panel/.cvsignore [deleted file]
helm/uwobo-panel/Makefile [deleted file]
helm/uwobo-panel/control.html [deleted file]
helm/uwobo-panel/control.js [deleted file]
helm/uwobo-panel/index.html [deleted file]
helm/uwobo-panel/welcome.html [deleted file]
helm/uwobo/.cvsignore [deleted file]
helm/uwobo/.depend [deleted file]
helm/uwobo/Makefile [deleted file]
helm/uwobo/doc/uwobo.tex [deleted file]
helm/uwobo/log/.cvsignore [deleted file]
helm/uwobo/uwobo.conf.xml.sample [deleted file]
helm/uwobo/uwobo.ml [deleted file]
helm/uwobo/uwobo_common.ml [deleted file]
helm/uwobo/uwobo_common.mli [deleted file]
helm/uwobo/uwobo_engine.ml [deleted file]
helm/uwobo/uwobo_engine.mli [deleted file]
helm/uwobo/uwobo_logger.ml [deleted file]
helm/uwobo/uwobo_logger.mli [deleted file]
helm/uwobo/uwobo_profiles.ml [deleted file]
helm/uwobo/uwobo_profiles.mli [deleted file]
helm/uwobo/uwobo_styles.ml [deleted file]
helm/uwobo/uwobo_styles.mli [deleted file]
helm/xmltheory/Coq_v2theoryxml/.cvsignore [deleted file]
helm/xmltheory/Coq_v2theoryxml/.depend [deleted file]
helm/xmltheory/Coq_v2theoryxml/Makefile [deleted file]
helm/xmltheory/Coq_v2theoryxml/coq_v2theoryxml.ml [deleted file]
helm/xmltheory/FakeCoq_vo2xml/README [deleted file]
helm/xmltheory/FakeCoq_vo2xml/coq_vo2xml [deleted file]
helm/xmltheory/XmlTheory/.cvsignore [deleted file]
helm/xmltheory/XmlTheory/.depend [deleted file]
helm/xmltheory/XmlTheory/COME_COMPILARE [deleted file]
helm/xmltheory/XmlTheory/Make [deleted file]
helm/xmltheory/XmlTheory/Makefile [deleted file]
helm/xmltheory/XmlTheory/README [deleted file]
helm/xmltheory/XmlTheory/XmlTheory.v [deleted file]
helm/xmltheory/XmlTheory/iXml.ml [deleted file]
helm/xmltheory/XmlTheory/iXml.mli [deleted file]
helm/xmltheory/XmlTheory/xmltheoryentries.ml [deleted file]
helm/xmltheory/maththeory.dtd [deleted file]