Apress / practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne
Other
287 stars 67 forks source link

Update to formatting errata for p. 108 - code should be bold. #16

Closed thesammiller closed 2 years ago

thesammiller commented 2 years ago

While working through the book, I ran into errors on the Dekker Algorithm example in Chapter 6. I checked the errata and there was nothing relevant. After staring at the page for a few minutes, I noticed a section of the code at the top which had been updated, but was not formatted in bold.

This adds the relevant code section to the errata.

hwayne commented 2 years ago

Ta!