You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am now trying to set up the TLA+ toolbox. However, I cannot find the PT library in this repository while the book says "Download the module from https://github.com/Apress/practical-tla-plus." Could you add the library to the repository?
The text was updated successfully, but these errors were encountered:
I am now trying to set up the TLA+ toolbox. However, I cannot find the
PT library
in this repository while the book says "Download the module from https://github.com/Apress/practical-tla-plus." Could you add the library to the repository?The text was updated successfully, but these errors were encountered: