Re: [Xtla-el-dev] Re: storing the tip number

[Harald Meland]

[Mark Triggs]

> What about creating a second directory called "~/.arch-frontends/" (or
> perhaps something good) for non-Xtla specific stuff?

That would result in the same TAB-expansion annoyance as the current
"~/.arch-log-library/" name.
-- 
Harald