[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Ability to use Vim keystrokes with TLA+ Toolbox?

Generally you start a bundle by id and not by part of the bundle's name.  If you do an:
ss p2.console
then do a
start XX
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/41cc9dca-9394-4121-ac2f-fe7e0afd0f7c%40googlegroups.com.