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

[helm.git] / helm / meta_style / operator.dtd

diff --git a/helm/meta_style/operator.dtd b/helm/meta_style/operator.dtd
deleted file mode 100644 (file)
index c764669..0000000
--- a/helm/meta_style/operator.dtd
+++ /dev/null
@@ -1,71 +0,0 @@
-<?xml encoding="ISO-8859-1"?>
-
-<!-- CIC operators description: -->
-
-<!ELEMENT OpList ((include|import)*, (OpSet|NotOpSet|Operator|NotOperator)+)>
-
-<!ELEMENT include EMPTY>
-<!ATTLIST include
-          href CDATA #REQUIRED>
-
-<!ELEMENT import EMPTY>
-<!ATTLIST import
-          href CDATA #REQUIRED>
-
-<!ELEMENT OpSet (Case,Case+)>
-<!ATTLIST OpSet
-          name  CDATA        #IMPLIED
-          cook  (true|false) "false"
-                 uri   CDATA        #REQUIRED
-          hide  NMTOKEN      "0"
-          m-tag CDATA        #IMPLIED>
-
-<!ELEMENT NotOpSet (Case,Case+)>
-<!ATTLIST NotOpSet
-          name  CDATA        #IMPLIED
-          uri   CDATA        #REQUIRED
-                 cook  (true|false) "false"
-          hide  NMTOKEN      "0"
-          m-tag CDATA        #IMPLIED>
-
-<!ELEMENT Case (mapp|mop|param|mbvar|mvar|PCDATA)*>
-<!ATTLIST Case
-          arity NMTOKEN #REQUIRED>
-
-<!ELEMENT Operator (mapp|mop|param|mbvar|mvar|PCDATA)*>
-<!ATTLIST Operator
-          name  CDATA        #IMPLIED
-          uri   CDATA        #REQUIRED
-                 cook  (true|false) "false"
-          hide  NMTOKEN      "0" 
-          arity NMTOKEN      "0" 
-          m-tag CDATA        #IMPLIED>
-
-<!ELEMENT NotOperator (mapp|mop|param|mbvar|mvar|PCDATA)*>
-<!ATTLIST NotOperator
-          name  CDATA        #IMPLIED
-          uri   CDATA        #REQUIRED
-                 cook  (true|false) "false"
-          hide  NMTOKEN      "0"
-          arity NMTOKEN      "0"
-          m-tag CDATA        #IMPLIED>
-
-<!ELEMENT mop (mop|mapp|param|PCDATA)*>
-<!ATTLIST mop
-          tag CDATA #REQUIRED>
-
-<!ELEMENT mapp (mop|mapp|param|mbvar|mvar|PCDATA)+>
-
-<!ELEMENT param EMPTY>
-<!ATTLIST param
-          id   CDATA #REQUIRED
-          bvar CDATA #IMPLIED
-          mode CDATA "noannot">
-
-<!ELEMENT mbvar (PCDATA)*>
-<!ATTLIST mbvar
-          name CDATA #REQUIRED>
-
-<!ELEMENT mvar EMPTY>
-<!ATTLIST mvar
-          name CDATA #REQUIRED>