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
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
