May 24, 2012
8:40 a.m.
On Thu, May 24, 2012 at 9:46 AM, Tobias Conradi <tobias.conradi@gmail.com> wrote:
The rule in the Theory file can easier lead to double assignments of abbreviations
I don't think a particular effort is made to make the abbreviations be unique or even particularly meaningful. The main identifier is the "Europe/Berlin" type name, not the "CE(S)T" type one. Cheers, Philip -- Philip Newton <philip.newton@gmail.com>