On 29 Sep 2016, at 17:40, Andrew Helwer <andrew...@xxxxxxxxx> wrote:Aw shucks. Wasn't someone going to present a TLA+ visualization module? This was mentioned back in my thread on the analysis of Runway.-- 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+u...@xxxxxxxxxxxxxxxx.To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.Visit this group at https://groups.google.com/group/tlaplus.For more options, visit https://groups.google.com/d/optout.