Re: [Xtla-el-dev] *tla-bookmarks-missing* and tla-revision-get-revision

[Matthieu Moy]

Stefan Reichör <[EMAIL PROTECTED]> writes:

> Hi!
>
> I tried to get a working copy from a *tla-bookmarks-missing* buffer.
> I hit > g
> It doesn't work for me

Neither for me. 

I'm investigating on the problem. 

-- 
Matthieu