]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/dtd/cictypes.dtd
External entity inclusion fixed
[helm.git] / helm / dtd / cictypes.dtd
index 7d9581782821c6f9780e63f1f4a08212771246cd..bb98567311e3db336081fcde3668a3264bbb8adf 100644 (file)
@@ -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;