]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/dtd/cictypes.dtd
Relative URL now used again
[helm.git] / helm / dtd / cictypes.dtd
index e45bf276ee2c80bfac100d9eafe224bf00a7be51..a5b01bec8920251ebc23bda280cf681c7df1f947 100644 (file)
@@ -29,7 +29,7 @@
 <!--  First draft: November 11 2000, Claudio Sacerdoti Coen         -->
 <!--*****************************************************************-->
 
-<!ENTITY % cicdtd SYSTEM "http://localhost:8081/getdtd?uri=cic.dtd">
+<!ENTITY % cicdtd SYSTEM "cic.dtd">
 
 %cicdtd;