Re: [Xtla-el-dev] hacking tla-changes (that's all for today)

[Matthieu Moy]

Matthieu Moy <[EMAIL PROTECTED]> writes:

> I'm  going to work  a bit  on tla-changes  today. Don't  modify before
> merging ... 

Not finished,  but I'll stop for today.  See my last log  and the TODO
file for details.

-- 
Matthieu