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

Re: [tlaplus] Trying to follow along with INRIA's TLAPS tutorial

On 01.08.19 15:53, changlin4256449411@xxxxxxxxxxx wrote:
> I am using a rather niche distribution of Linux (NixOS) to do this so
> it's possible the TLA+ Toolbox is packaged rather oddly in a way that
> interferes with TLAPS.


this issue might be relevant for you:


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/01a3cb33-d59a-3e4c-d9cb-2766e9c00bae%40lemmster.de.