]> matita.cs.unibo.it Git - helm.git/commitdiff
Relative URL now used again
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Feb 2001 17:44:43 +0000 (17:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Feb 2001 17:44:43 +0000 (17:44 +0000)
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;