[Om3] Splitting <Description>

[jhd at cs.bath.ac.uk]

On Mon, September 15, 2008 5:58 am, Michael Kohlhase wrote:
> I think we are quite in consensus here that we need two elements for
> describing a symbol, and there have been a number of element name
Excellent.
> suggestions floating around. We are currently using <Description> and
> <discussion> purely for legacy reasons.
I rather dislike <discussion>, as it sounds non-normative
>
> @James, are you making the suggestion that we should use <overview> and
> <detail> as element names, or just to clarify the issue.
OK - I'll make this as a formal suggestion, but I'll do so in two parts:
(a) that <Description> be split in two: a general description suitable for
K14 and a more detailed definition;
(b) that these two parts be called <Overview> and <Detail> (initial caps
does seem to be the general system).

James Davenport
Hebron & Medlock Professor of Information Technology
Formerly RAE Coordinator and Undergraduate Director of Studies, CS Dept
Currently (thankfully briefly) Acting Head, CS Dept
Lecturer on CM30070, 30078, 50209, 50123
Chairman, Powerful Computing WP, University of Bath
OpenMath Content Dictionary Editor
IMU Committee on Electronic Information and Communication