[tlaplus] Re: Example specs of the video course

[Ravi Shankar <sankarsana@xxxxxxxxx>]

I found the specs on tlaplus GitHub repository location => Examples/specifications/transaction_commit/TCommit.tla

On Saturday, May 28, 2022 at 5:22:40 PM UTC+5:30 Ravi Shankar wrote:

Where can I find the specs to copy and paste in the TLA+ toolbox? I can't find them in The TLA Toolbox website.

-- 
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/30365ad9-3d78-4e8b-8106-a10740cd7366n%40googlegroups.com.