• simonpj's avatar
    [project @ 2002-03-14 15:27:15 by simonpj] · 1553c778
    simonpj authored
    		GlobalName --> ExternalName
    		LocalName  ->  InternalName
    For a long time there's been terminological confusion between
    	GlobalName vs LocalName	 (property of a Name)
    	GlobalId vs LocalId	 (property of an Id)
    I've now changed the terminology for Name to be
    	ExternalName vs InternalName
    I've also added quite a bit of documentation in the Commentary.