[Xtla-el-dev] hacking archive-tree

[Matthieu Moy]

Hi !

I'm  hacking  the   archive-tree  related  code  (tla--complete-...  &
friends)

Don't touch it before merging,

Thanks,

-- 
Matthieu