setenv PROOF_CHECKER_PORT 48084
setenv HTTP_GETTER_PORT 48081
setenv HELM_UWOBO_URL http://mowgli.cs.unibo.it:$UWOBO_PORT/helm/servlet/uwobo/
setenv HTTP_GETTER_DTD_BASE_URL http://www.cs.unibo.it/helm/dtd
else
# V7_mowgli
setenv PROOF_CHECKER_PORT 48084
setenv HTTP_GETTER_PORT 48081
setenv HELM_UWOBO_URL http://mowgli.cs.unibo.it:$UWOBO_PORT/helm/servlet/uwobo/
setenv HTTP_GETTER_DTD_BASE_URL http://www.cs.unibo.it/helm/dtd
else
# V7_mowgli