This is the to-do list. It still contains several small items from the last programmers' meeting. These are important, but not show-stopping.
-//Starlink//... or
+//IDN star.rl.ac.uk...?starlink.ac.uk
domain name?<sect
id=newid>Intro<oldid id=oldid>, but that's not very flexible
- it'd only apply to sections. I thought instead of
<!element oldidlist o o (oldid+)>
<!element oldid - o EMPTY>
<!attlist oldid
id id #required -- the now-obsolete id --
newid idref #requred -- replacement --
-- resolve a reference to this element as if it were a
reference to the element pointed to by newid, but
warn or issue an error about a deprecation --
export (export) #fixed export -- for compat/consistency? --
>
This means that at the top of the document (probably), you could
include a list of elements:
This is both perfectly generic, and usefully visible.<oldidlist> <oldid id=old.id newid=replacement.id> <oldid id=another.id newid=another.replacement> </oldidlist>