Repository does not contain PT library

Apress / practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

Other

287 stars 67 forks source link

Repository does not contain PT library #1

Closed nayuta-yanagisawa closed 5 years ago

nayuta-yanagisawa commented 5 years ago

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?

tsenart commented 5 years ago

Yep, +1, also found it missing.

rebcabin commented 5 years ago

ditto, blocked in chapter 3, Functions subchapter, uses PT

hwayne commented 5 years ago

Now uploaded. Appendix B is also a copy of PT if you have further issues.