Update README with link to PDF

In case people want to just see the pretty-printed version.
changlinli · Jul 25, 2019 · 1193e86 · 1193e86
1 parent 46f69aa
commit 1193e86
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -3,3 +3,6 @@
 This repository contains a TLA specification of [Peterson's
 algorithm](https://en.wikipedia.org/wiki/Peterson%27s_algorithm), an algorithm
 that allows multiple processes to share a single-use resource without conflict.
+
+For a pretty-printed PDF version, see 
+[https://github.com/changlinli/peterson-tlaplus/releases/download/v1.0/Peterson.pdf](https://github.com/changlinli/peterson-tlaplus/releases/download/v1.0/Peterson.pdf).