[Trac] [OpenMath] #67: Can't compile rnc -> rng
OpenMath
trac at strawberry.eecs.jacobs-university.de
Sun Sep 7 00:43:57 CEST 2008
#67: Can't compile rnc -> rng
----------------------------+-----------------------------------------------
Reporter: clange | Owner: kohlhase
Type: defect | Status: new
Priority: major | Milestone:
Component: CD3 Format | Version:
Resolution: | Keywords:
Include_gantt: 0 | Dependencies:
Due_assign: YYYY/MM/DD | Due_close: YYYY/MM/DD
----------------------------+-----------------------------------------------
Changes (by clange):
* component: OM3 Standard => CD3 Format
Old description:
> {{{
> OpenMath3/rnc$ make
> trang -I rnc -O rng cd.rnc cd.rng
> trang -I rnc -O rng cdsig.rnc cdsig.rng
> trang -I rnc -O rng mathml3-arity.rnc mathml3-arity.rng
> /home/clange/svn/openmath.org/OpenMath3/rnc/cd/mathml3-fns1-arity.rnc:15:14:
> error: syntax error
> /home/clange/svn/openmath.org/OpenMath3/rnc/cd/mathml3-limit1-arity.rnc:21:14:
> error: syntax error
> make: *** [mathml3-arity.rng] Error 1
> }}}
>
> (BTW, I'm not sure what component this fits into. I guess the Relax NG is
> part of the "standard", right? I.e. the standard is the written spec plus
> the formal grammar.)
New description:
{{{
OpenMath3/rnc$ make
trang -I rnc -O rng cd.rnc cd.rng
trang -I rnc -O rng cdsig.rnc cdsig.rng
trang -I rnc -O rng mathml3-arity.rnc mathml3-arity.rng
/home/clange/svn/openmath.org/OpenMath3/rnc/cd/mathml3-fns1-arity.rnc:15:14:
error: syntax error
/home/clange/svn/openmath.org/OpenMath3/rnc/cd/mathml3-limit1-arity.rnc:21:14:
error: syntax error
make: *** [mathml3-arity.rng] Error 1
}}}
Comment:
sorry, didn't notice the component CD3 Format initially
--
Ticket URL: <https://trac.mathweb.org/OM3/ticket/67#comment:1>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.
More information about the Trac
mailing list