thanks for your message. First of all, I believe that is only natural that I should try and pass on some of the things I've learnt about TLA+ to others. I just hope that nobody feels discouraged from answering a question whether I've reacted or not.
This being said, I fully agree that this group is here for all of us in the TLA+ community to help each other.
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/BEEE44C6-CE13-4C53-A282-493356314A29%40gmail.com.