[Om3] Difference between description and discussion?

[Christoph LANGE]

On Tuesday 09 September 2008 04:58:18 Michael Kohlhase wrote:
> > what's again the difference
> > between CDDefinition/description and CDDefinition/discussion?
>
> The idea I have in mind is mostly what James said in a different thread,
>
> CDDefinition/description gives a short and concise description of the
> symbol in plain text
>
> CDDefinition/discussion? gives all the necessary mathematical fine print
> possibly using MathML or even OpenMath for that.

Thanks!  BTW, https://trac.mathweb.org/OM3/ticket/11 also turned out to be a
valuable source of information about that.

Cheers,

Christoph

-- 
Christoph Lange, DERI Galway/Jacobs Univ. Bremen, http://kwarc.info/clange

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: This is a digitally signed message part.
Url : http://openmath.org/pipermail/om3/attachments/20080909/ea7e27a2/attachment.pgp