]> matita.cs.unibo.it Git - helm.git/commitdiff
External entity inclusion fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Dec 2000 12:29:08 +0000 (12:29 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Dec 2000 12:29:08 +0000 (12:29 +0000)
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;