Re: minor comments for CR-MathML2-20001113

I have completed the changes essentially as Susan suggested for 
the formatting / wording surrounding definitionURL.

That should be it for chapter 4 and appendix C.

Stan.
----- Original Message ----- 
From: "Susan Lesch" <lesch@w3.org>
To: <www-math@w3.org>
Sent: Wednesday, December 13, 2000 8:53 PM
Subject: minor comments for CR-MathML2-20001113

... stuff deleted ...

> 
> 4.3.2.3
> parsable.An
> parsable. An
> 
> Can 4.3.2.3 be broken into smaller paragraphs and nested
> uls? It's too long. Here is one way with a couple of edits.
> 
> ...However, there are reasons why MathML does not require
> such a format.
> 
>      * No such format currently exists. There are several
>      projects underway to develop and implement standard
>      semantic encoding formats, most notably the OpenMath
>      effort. By nature, the development of a comprehensive
>      system of semantic encoding is a very large enterprise,
>      and while much work has been done, much additional work
>      remains. Even though the definitionURL is designed and
>      intended for use with a formal semantic encoding language
>      such as OpenMath, it is premature to require any one
>      particular format.
> 
>      * There will always be situations where some non-standard
>      format is preferable. This is particularly true in
>      situations where authors are describing new ideas. It is
>      anticipated that in the near term, there will be a
>      variety of renderer-dependent implementations of the
>      definitionURL attribute.
> 
>          - A translation tool might simply prompt the user with
>          the specified definition in situations where the proper
>          semantics have been overridden, and in this case,
>          human-readable definitions will be most useful.
>          - Other software may utilize OpenMath encodings.
>          - Still other software may use proprietary encodings,
>          or look for definitions in any of several formats.
> 
> As a consequence....
> 

... stuff deleted ...

Received on Thursday, 14 December 2000 07:10:46 UTC