From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 7 Dec 2000 12:29:08 +0000 (+0000)
Subject: External entity inclusion fixed
X-Git-Tag: nogzip~105
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7fc5117fc5d5dd4ed387f9163581978e105aa653;p=helm.git

External entity inclusion fixed
---

diff --git a/helm/dtd/cictypes.dtd b/helm/dtd/cictypes.dtd
index 7d9581782..bb9856731 100644
--- a/helm/dtd/cictypes.dtd
+++ b/helm/dtd/cictypes.dtd
@@ -5,7 +5,7 @@
 <!--  First draft: November 11 2000, Claudio Sacerdoti Coen         -->
 <!--*****************************************************************-->
 
-<!ENTITY % cicdtd SYSTEM "cic.dtd">
+<!ENTITY % cicdtd SYSTEM "http://localhost:8081/getdtd?uri=cic.dtd">
 
 %cicdtd;