Return to spec.rng CVS log

Up to [ELWIX - Embedded LightWeight unIX -] / embedaddon / libxml2 / test / relaxng

libxml2

    1: <?xml version="1.0" encoding="iso-8859-1"?>
    2: <!-- $Id: spec.rng,v 1.1.1.1 2012/02/21 23:37:59 misho Exp $ -->
    3: <grammar xmlns="http://relaxng.org/ns/structure/1.0"
    4:          datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes"
    5:           xmlns:p="http://relaxng.org/ns/proofsystem">
    6: 
    7: <start>
    8:   <grammar>
    9:     <include href="docbook.rng"/>
   10:     <define name="synop.class" combine="choice">
   11:       <choice>
   12:         <parentRef name="rngref"/>
   13:         <parentRef name="grammarref"/>
   14:         <grammar>
   15:           <include href="proofsystem.rng"/>
   16:           <start combine="choice">
   17:             <ref name="formula"/>
   18:           </start>
   19:         </grammar>
   20:       </choice>
   21:     </define>
   22:     <define name="tech.char.class" combine="choice">
   23:       <parentRef name="terms"/>
   24:     </define>
   25:   </grammar>
   26: </start>
   27: 
   28: <define name="rngref">
   29:   <element name="rngref">
   30:     <attribute name="src">
   31:       <data type="anyURI"/>
   32:     </attribute>
   33:   </element>
   34: </define>
   35: 
   36: <define name="grammarref">
   37:   <element name="grammarref">
   38:     <attribute name="src">
   39:       <data type="anyURI"/>
   40:     </attribute>
   41:   </element>
   42: </define>
   43: 
   44: <define name="terms">
   45:   <grammar>
   46:      <include href="proofsystem.rng">
   47:        <start>
   48:          <choice>
   49:            <ref name="expr"/>
   50:            <ref name="judgement"/>
   51:            <ref name="context"/>
   52:          </choice>
   53:        </start>
   54:      </include>
   55:   </grammar>
   56: </define>
   57: 
   58: </grammar>
   59: 
   60: