Changeset 12 for trunk/spec/spec.dbk

Show
Ignore:
Timestamp:
05/22/08 14:14:40 (7 months ago)
Author:
oren
Message:

Fix bug in naming of production link;
Enhance verifiers to catch this sort of problem.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/spec/spec.dbk

    r8 r12  
    96659665                <nonterminal 
    96669666                  def="#c-mapping-value"><quote>:</quote></nonterminal> 
    9667                 ( <nonterminal def="#s-l+block-indented(n,c)" 
     9667                ( <nonterminal def="#s-l+block-node(n,c)" 
    96689668                  >s-l+block-node(n,block-out)</nonterminal><sbr/> 
    96699669                &nbsp;&nbsp;&nbsp;&nbsp;| <nonterminal def="#e-node"/> 
    … …  
    1018610186            <rhs> 
    1018710187              <nonterminal def="#s-l+block-node(n,c)" 
    10188                 >ns-l+block-node(-1,block-in)</nonterminal><sbr/> 
     10188                >s-l+block-node(-1,block-in)</nonterminal><sbr/> 
    1018910189              /* Excluding <nonterminal def="#c-forbidden"/> content */ 
    1019010190            </rhs>