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

[Masatake YAMATO]

I think one of two is enough.

> 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.