Return to spec.rng CVS log

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

Annotation of embedaddon/libxml2/test/relaxng/spec.rng, revision 1.1

1.1     ! misho       1: <?xml version="1.0" encoding="iso-8859-1"?>
        !             2: <!-- $Id: spec.rng,v 1.3 2001/10/23 05:54:24 jjc 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: