[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] Re: Usage of the ! operator
Mea culpa. One can no longer write a SV!< b in TLA+. Version 2 of TLA+ allows this _expression_ to be written in the more readable form SV!<(a, b). I had forgotten that it also disallows the previous syntax. So, this is a bug in the Decompose Proof command.
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/e9815e45-5f97-48a9-947d-cc4dbaa8b10e%40googlegroups.com.