symbol space short names

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?


-- 
    -- michael

Received on Sunday, 17 May 2009 23:27:58 UTC