Permalink
Browse files

Tweak links in README

  • Loading branch information...
xrchz committed May 29, 2018
1 parent effd84c commit e7b7b8392c3dabd2637a6c6d4550ec9fc92a93a5
Showing with 6 additions and 4 deletions.
  1. +3 −2 README.md
  2. +3 −2 readmePrefix
View
@@ -12,8 +12,9 @@ Example build instructions can be found in
[build-instructions.sh](build-instructions.sh).
Building all of CakeML (including the bootstrapped compiler and its proofs)
requires significant resources. Built copies of the compiler and resource
usage for our regression tests are [online](https://cakeml.org/regression.cgi).
requires significant resources. [Built copies](https://cakeml.org/download) of
the compiler and resource usage for our
[regression tests](https://cakeml.org/regression.cgi) are online.
The [master](../../tree/master) branch contains the latest development
version of CakeML. See the [version2](../../tree/version2) or
View
@@ -12,8 +12,9 @@ Example build instructions can be found in
[build-instructions.sh](build-instructions.sh).
Building all of CakeML (including the bootstrapped compiler and its proofs)
requires significant resources. Built copies of the compiler and resource
usage for our regression tests are [online](https://cakeml.org/regression.cgi).
requires significant resources. [Built copies](https://cakeml.org/download) of
the compiler and resource usage for our
[regression tests](https://cakeml.org/regression.cgi) are online.
The [master](../../tree/master) branch contains the latest development
version of CakeML. See the [version2](../../tree/version2) or

0 comments on commit e7b7b83

Please sign in to comment.