relax-ng message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]

Subject: Re: Formal Semantics

From: Kohsuke KAWAGUCHI <kohsuke.kawaguchi@eng.sun.com>
To: RELAX NG Mailing List <relax-ng@lists.oasis-open.org>
Date: Mon, 04 Jun 2001 13:16:46 -0700


Inference rule "group" is wrong. Its conclusion should be " .... => k1 +
k2 ; kr1 + kr2", not "k1+kr1; k2+kr2". The same error applies for
several other rules.

For inference rules like (anyName), I think you should write

                    <- empty line
---------------
 n in <anyName/>



regards,
----------------------
K.Kawaguchi
E-Mail: kohsukekawaguchi@yahoo.com

Follow-Ups:
- Re: Formal Semantics
  - From: James Clark <jjc@jclark.com>

References:
- Formal Semantics
  - From: James Clark <jjc@jclark.com>

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]

Powered by eList eXpress LLC