[Xtla-el-dev] tla-changes's argument

[Masatake YAMATO]

Both next two lines do not work:

    (tla-changes nil "[EMAIL PROTECTED]")
    (tla-changes nil (list "[EMAIL PROTECTED]" "xtla" "main" "0.1"))

Sorry, I have no time to fix now.

Masatake YAMATO