From: Claudio Sacerdoti Coen Date: Mon, 16 Feb 2004 22:11:57 +0000 (+0000) Subject: proofChecker ported to Helm_registry X-Git-Tag: v0_0_4~183 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ed7e3e513e1992c6f9ef4b4733dc3a0b9e782af6;p=helm.git proofChecker ported to Helm_registry --- diff --git a/helm/scripts/template.cshrc b/helm/scripts/template.cshrc index bed73a014..e5395b142 100644 --- a/helm/scripts/template.cshrc +++ b/helm/scripts/template.cshrc @@ -30,7 +30,6 @@ setenv HELM_ANNOTATIONS_DIR pippo setenv HELM_ANNOTATIONS_URL pippo setenv URI_SET_QUEUE_PORT 58082 setenv DRAW_GRAPH_PORT 58083 -setenv PROOF_CHECKER_PORT 58084 setenv SEARCH_ENGINE_PORT 58085 setenv DRAW_GRAPH_DIR /projects/helm/daemons/graphs/tools setenv SEARCH_ENGINE_HTML_DIR /projects/helm/daemon/searchEngine/html diff --git a/helm/scripts/template.rc b/helm/scripts/template.rc index 6a0e47421..58a1f2ebb 100644 --- a/helm/scripts/template.rc +++ b/helm/scripts/template.rc @@ -30,7 +30,6 @@ export HELM_ANNOTATIONS_DIR=pippo export HELM_ANNOTATIONS_URL=pippo export URI_SET_QUEUE_PORT=58082 export DRAW_GRAPH_PORT=58083 -export PROOF_CHECKER_PORT=58084 export SEARCH_ENGINE_PORT=58085 export DRAW_GRAPH_DIR=/projects/helm/daemons/graphs/tools export SEARCH_ENGINE_HTML_DIR=/projects/helm/daemons/searchEngine/html