-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Hmmm... it seems like commandver.setscm isn't called when importing a
new project for some reason (interrestingly, importorig on an existing
project seems to work fine), and so tlacmd doesn't get set properly.
If I hack tla_support/commandver.py to set tlacmd = "tla" initially,
then everything works fine. And I think that's about the limits of my
Python knowledge...
