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

[tlaplus] Re: small bug in TLC gui

MacOS Mojave 10.14.6  running 

This is Version 1.6.1 of Day Month 20?? and includes:

  - SANY Version 2.1 of 23 July 2017

  - TLC Version 2.15 of Day Month 20??

  - PlusCal Version 1.9 of 10 July 2019

  - TLATeX Version 1.0 of 20 September 2017

from a recent nightly build.  david 

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/ad2782e7-f04b-4f81-a230-2ac1eca23390%40googlegroups.com.