diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocadt.rnc')
-rw-r--r-- | Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocadt.rnc | 49 |
1 files changed, 0 insertions, 49 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocadt.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocadt.rnc deleted file mode 100644 index 131df5606ff..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocadt.rnc +++ /dev/null @@ -1,49 +0,0 @@ -# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module ADT -# $Id: omdocadt.rnc 8959 2011-09-02 06:01:43Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocadt.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace omdoc = "http://omdoc.org/ns" -omdoc.class &= adt* - -adt.sym.attrib = id.attribs,scope.attrib,attribute name {xsd:NCName} - -# adts are abstract data types, they are short forms for groups of symbols -# and their definitions, therefore, they have much the same attributes. - -adt.attribs = toplevel.attribs & - attribute parameters {list {xsd:NCName*}}? -adt.class = sortdef+ -adt.model = metadata.class & adt.class -adt = element adt {tref|(adt.attribs & adt.model)} - -adttype = "loose" | "generated" | "free" -sortdef.attribs = adt.sym.attrib & - attribute role {"sort"}? & - attribute type {adttype}? -sortdef.model = metadata.class & constructor* & insort* & recognizer? -sortdef = element sortdef {tref|(sortdef.attribs &sortdef.model)} - -insort.attribs = attribute for {omdocref} -insort.model = empty -insort = element insort {tref|(insort.attribs & insort.model)} - -constructor.attribs = adt.sym.attrib & sym.role.attrib? -constructor.model = metadata.class & argument* -constructor = element constructor {tref|(constructor.attribs & constructor.model)} - -recognizer.attribs = adt.sym.attrib & sym.role.attrib? -recognizer.model = metadata.class -recognizer = element recognizer {tref|(recognizer.attribs & recognizer.model)} - -argument.attribs = empty -argument.model = type & selector? -argument = element argument {tref|(argument.attribs & argument.model)} - -selector.attribs = adt.sym.attrib & - sym.role.attrib? & - attribute total {"yes" | "no"}? -selector.model = metadata.class -selector = element selector {tref|(selector.attribs & selector.model)} - |