Be more specific about PolyML version

CakeML · Jan 24, 2020 · 3d28c48 · 3d28c48
1 parent 2bc5f8a
commit 3d28c48
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -7,7 +7,7 @@ Standard ML.
 The source and proofs for CakeML are developed in the [HOL4 theorem
 prover](http://hol-theorem-prover.org). We use the latest development
 version of [HOL4](https://github.com/HOL-Theorem-Prover/HOL), which we
-build on [PolyML 5.7](http://www.polyml.org).
+build on [PolyML 5.7.1](http://www.polyml.org).
 Example build instructions can be found in
 [build-instructions.sh](build-instructions.sh).
 

diff --git a/readmePrefix b/readmePrefix
@@ -7,7 +7,7 @@ Standard ML.
 The source and proofs for CakeML are developed in the [HOL4 theorem
 prover](http://hol-theorem-prover.org). We use the latest development
 version of [HOL4](https://github.com/HOL-Theorem-Prover/HOL), which we
-build on [PolyML 5.7](http://www.polyml.org).
+build on [PolyML 5.7.1](http://www.polyml.org).
 Example build instructions can be found in
 [build-instructions.sh](build-instructions.sh).