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

[tlaplus] Usage of brackets in TLC config file

Is anyone familiar with the usage of brackets in a TLC config file as seen here? I have not encountered it before, and am unclear on its semantics. As far as I can tell, I don't see an explicit mention of it in Specifying Systems.

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/574fbb8a-5a7d-49c1-ac1e-acc2059fa197n%40googlegroups.com.