diff --git a/README.md b/README.md index 201b72e..5323768 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,5 @@ # The DeepSEA Language -Version 1.0 binary release. - You can download a zip file from the [releases page](https://github.com/CertiKProject/deepsea-preview/releases). Please see the [DeepSEA language reference](https://github.com/CertiKProject/deepsea-preview/blob/master/DeepSEA%20language%20reference.pdf) for installation and usage instructions. The zip file includes pre-built binaries for Linux (Ubuntu) and MacOS. Since they use some system libraries, it is possible that they will not work on every version of Linux or MacOS. It is also easy to build the binaries from source yourself, following the instructions in the `src` directory.