[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Ability to use Vim keystrokes with TLA+ Toolbox?
Hi loki der quaeler,
Yes, it works. Great thanks.
On Thursday, August 15, 2019 at 5:33:16 AM UTC+8, loki der quaeler wrote:
Generally you start a bundle by id and not by part of the bundle's name. If you do an:
then do a
where XX is the listed id, does that ameliorate the situation?
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/d47195f3-e99c-425f-9789-8cc07a3d9bbb%40googlegroups.com.