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

Re: [tlaplus] How do you list possible next steps?

Den ons 15 apr. 2020 kl 19:08 skrev Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>:
I shared a trick how to interactively explore a state space at

I can write a howto if this is what you are looking for.

 Yes, that would be very nice!

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/CAFPg9czkwW-xSyzpO0ggtZ4w3nL2KQxm%3D4x40QEYoGvdihQx1Q%40mail.gmail.com.