[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Re: Modeling a Hash
On Tuesday, February 19, 2019 at 9:42:49 PM UTC-8, Markus Alexander Kuppe wrote:
> > Thank you Andrew for sharing your experience. I tend to prefer option 3, I guess it's time to dust off javac. I will update this thread in case I have a working solution.
> Hi Dominik,
> you might want to read over my response  to Andrew's question on
> StackOverflow. It shows how to create a TLC module overwrite.
>  https://stackoverflow.com/a/54757162/6291195
Thank you Markus, that did the trick!
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 post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.