]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/dtd/annotations.dtd
This commit was manufactured by cvs2svn to create branch 'cgi'.
[helm.git] / helm / dtd / annotations.dtd
diff --git a/helm/dtd/annotations.dtd b/helm/dtd/annotations.dtd
deleted file mode 100644 (file)
index c7d3799..0000000
+++ /dev/null
@@ -1,29 +0,0 @@
-<?xml encoding="ISO-8859-1"?>
-
-<!--*****************************************************************-->
-<!-- DTD FOR ANNOTATED OBJECTS:                                      -->
-<!--  First draft: June 2000, Claudio Sacerdoti Coen                 -->
-<!--*****************************************************************-->
-
-<!ENTITY % annotation '(#PCDATA|node|attribute)*'>
-
-<!ELEMENT Annotations (Annotation)*>
-<!ATTLIST Annotations
-          of CDATA #REQUIRED>
-
-<!ELEMENT Annotation %annotation;>
-<!ATTLIST Annotation
-          of CDATA #REQUIRED>
-
-<!-- Annotations: -->
-
-<!ELEMENT attribute EMPTY>
-<!ATTLIST attribute
-          name       NMTOKEN #REQUIRED
-          id         NMTOKEN #REQUIRED
-          child      NMTOKEN #IMPLIED
-          grandchild NMTOKEN #IMPLIED>
-
-<!ELEMENT node EMPTY>
-<!ATTLIST node
-          id NMTOKEN #REQUIRED>