10 Aug
2003
10 Aug
'03
6:52 p.m.
I'm with Thomas. The TeX world is small enough that we can avoid the problem by simply insisting on unique names. Sebastian