[osis-core] OSISCore.1.5.beta! - we still have divTitle and timeID on <div>

[Chris Little]

On Wed, 2 Jul 2003, Todd Tillinghast wrote:

> What about divTitle?  On the most recent post Chris indicated he was OK
> with removing it BUT he still objects to having a short title as a
> <title> element.  I prefer short title as a <title type="short">.  
> 
> Chris where would you encode the short title if there were no divTitle
> and you did not use <title type="short">?

Ideally, I would create & put it in a new attribute of <title> like abbr.  
At this stage of 1.5, however, I would probably put it off until the next 
revision.

--Chris