From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 5 Feb 2001 17:44:43 +0000 (+0000)
Subject: Relative URL now used again
X-Git-Tag: v0_1_2~140
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=46c7657b44f935ea907ee23457f2c005895629bc;p=helm.git

Relative URL now used again
---

diff --git a/helm/dtd/cictypes.dtd b/helm/dtd/cictypes.dtd
index e45bf276e..a5b01bec8 100644
--- a/helm/dtd/cictypes.dtd
+++ b/helm/dtd/cictypes.dtd
@@ -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;