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

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

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.

Hi,

this issue might be relevant for you:
https://github.com/NixOS/nixpkgs/issues/65760

Best
Markus

-- 
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.