K 10 svn:author V 3 yar K 8 svn:date V 27 2007-10-18T10:32:28.000000Z K 7 svn:log V 183 Distinguish the cases when a dup symbol is in different versions (evil, needs a error) or in the same version (harmless, deserves a mere warning). Noticed by: grehan@, tinderbox END