![](https://secure.gravatar.com/avatar/4974ac911fc949779bbbadd8dc3f7e02.jpg?s=120&d=mm&r=g)
10 Aug
2003
10 Aug
'03
10:52 a.m.
I'm with Thomas. The TeX world is small enough that we can avoid the problem by simply insisting on unique names. Sebastian