From: Claudio Sacerdoti Coen Date: Wed, 11 Feb 2004 17:05:27 +0000 (+0000) Subject: Ported to Helm_registry. X-Git-Tag: V_0_3_0~12 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3f81a72dbdc7f2ffb17cc1ecd4e6a39270891c77;p=helm.git Ported to Helm_registry. --- diff --git a/helm/hbugs/tutors/hbugs_tutors_common.ml b/helm/hbugs/tutors/hbugs_tutors_common.ml index 8ffd4b704..2f186c15d 100644 --- a/helm/hbugs/tutors/hbugs_tutors_common.ml +++ b/helm/hbugs/tutors/hbugs_tutors_common.ml @@ -79,7 +79,7 @@ let typecheck_loaded_proof metasenv bo ty = type xml_kind = Body | Type;; let mk_dtdname ~ask_dtd_to_the_getter dtd = if ask_dtd_to_the_getter then - Configuration.getter_url ^ "getdtd?uri=" ^ dtd + Helm_registry.get "getter.url" ^ "getdtd?uri=" ^ dtd else "http://mowgli.cs.unibo.it/dtd/" ^ dtd ;;