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

[tlaplus] Re: BUG: Can not use TLAPS in TLA+ Toolbox 1.6.0 when TLAPS installed in ~/opt

From: loki der quaeler <quaeler@xxxxxxxxx>
Date: Wed, 31 Jul 2019 10:54:30 -0700 (PDT)
References: <3b25dc30-c9e5-46e8-93da-61e8ef76a43c@googlegroups.com> <bad711e4-2fb1-4baa-9273-66d9c6b75a0f@googlegroups.com> <8efcd38a-58fb-4a07-b73c-ecce1fda3949@googlegroups.com>

Thank you for the reply and investigation (and thank you for posting a work around for others until we implement an improvement!)

--
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/1fdf2978-8c67-453a-a692-be7f02c5b9cf%40googlegroups.com.

Follow-Ups:
- [tlaplus] Re: BUG: Can not use TLAPS in TLA+ Toolbox 1.6.0 when TLAPS installed in ~/opt
  - From: loki der quaeler

References:
- [tlaplus] BUG: Can not use TLAPS in TLA+ Toolbox 1.6.0 when TLAPS installed in ~/opt
  - From: stojic
- [tlaplus] Re: BUG: Can not use TLAPS in TLA+ Toolbox 1.6.0 when TLAPS installed in ~/opt
  - From: loki der quaeler
- [tlaplus] Re: BUG: Can not use TLAPS in TLA+ Toolbox 1.6.0 when TLAPS installed in ~/opt
  - From: stojic

Prev by Date: [tlaplus] Re: BUG: Can not use TLAPS in TLA+ Toolbox 1.6.0 when TLAPS installed in ~/opt
Next by Date: [tlaplus] Nesting/Unnesting Sets
Previous by thread: [tlaplus] Re: BUG: Can not use TLAPS in TLA+ Toolbox 1.6.0 when TLAPS installed in ~/opt
Next by thread: [tlaplus] Re: BUG: Can not use TLAPS in TLA+ Toolbox 1.6.0 when TLAPS installed in ~/opt
Index(es):
- Date
- Thread