Re: [Xtla-el-dev] tla-bookmarks-missing

[Matthieu Moy]

Matthieu Moy <[EMAIL PROTECTED]> writes:

> I'm going to  work on the bookmarks missing  feature. Don't touch that
> part tonight to avoid conflicts. 

Committed. 

tla-bookmarks-missing is now asynchronous. 

-- 
Matthieu