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

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: