I just became aware of the existence of "short names" for symbol spaces in DTB, which was added without discussion and makes no sense. What is it, what is the logical status of that beast, and why were they introduced? -- -- michaelReceived on Sunday, 17 May 2009 23:27:58 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:08 GMT