X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Fexamples%2Freadme%2Freadme.dtd;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Fexamples%2Freadme%2Freadme.dtd;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=8ff6a9f757cd6dc9bbe7fd9019a91206abbb553b;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/examples/readme/readme.dtd b/helm/DEVEL/pxp/pxp/examples/readme/readme.dtd
deleted file mode 100644
index 8ff6a9f75..000000000
--- a/helm/DEVEL/pxp/pxp/examples/readme/readme.dtd
+++ /dev/null
@@ -1,38 +0,0 @@
-<!-- $Id -->
-
-<!ENTITY % p.like "p|ul">
-<!ENTITY % text   "br|code|em|footnote|a">
-
-<!ELEMENT readme (sect1+)>
-<!ATTLIST readme
-          title CDATA #REQUIRED>
-
-<!ELEMENT sect1 (title,(sect2|%p.like;)+)>
-
-<!ELEMENT sect2 (title,(sect3|%p.like;)+)>
-
-<!ELEMENT sect3 (title,(%p.like;)+)>
-
-<!ELEMENT title (#PCDATA|br)*>
-
-<!ELEMENT p (#PCDATA|%text;)*>
-
-<!ELEMENT br EMPTY>
-
-<!ELEMENT code (#PCDATA)>
-
-<!ELEMENT em (#PCDATA|%text;)*>
-
-<!ELEMENT ul (li+)>
-
-<!ELEMENT li (%p.like;)*>
-
-<!ELEMENT footnote (#PCDATA|%text;)*>
-
-<!ELEMENT a (#PCDATA)*>
-<!ATTLIST a 
-          href      CDATA #IMPLIED
-          readmeref CDATA #IMPLIED
->
-
-