This commit was manufactured by cvs2svn to create branch 'pacchetti'.

[helm.git] / helm / dtd / cictypes.dtd

diff --git a/helm/dtd/cictypes.dtd b/helm/dtd/cictypes.dtd
deleted file mode 100644 (file)
index bb98567..0000000
--- a/helm/dtd/cictypes.dtd
+++ /dev/null
@@ -1,18 +0,0 @@
-<?xml encoding="ISO-8859-1"?>
-
-<!--*****************************************************************-->
-<!-- DTD FOR INNER TYPES:                                            -->
-<!--  First draft: November 11 2000, Claudio Sacerdoti Coen         -->
-<!--*****************************************************************-->
-
-<!ENTITY % cicdtd SYSTEM "http://localhost:8081/getdtd?uri=cic.dtd">
-
-%cicdtd;
-
-<!ELEMENT InnerTypes (TYPE*)>
-<!ATTLIST InnerTypes
-          of  CDATA      #REQUIRED>
-
-<!ELEMENT TYPE (%term;)>
-<!ATTLIST TYPE
-          of  NMTOKEN #REQUIRED>