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