search

hwayne / learntla

A TLA+ guide
http://www.learntla.com
Creative Commons Attribution 4.0 International
278 stars 57 forks source link

Fix spelling of “sacrilegious” #62

Closed jeremy-w closed 6 years ago

jeremy-w commented 6 years ago

Also italicize Specifying Systems, because it’s been a bit since that was introduced as a book.

hwayne commented 6 years ago

Thank you!