equal
deleted
inserted
replaced
1 Poly/ML for Isabelle |
1 Poly/ML for Isabelle |
2 ==================== |
2 ==================== |
3 |
3 |
4 This is a preview of Poly/ML 5.6, based on |
4 This compilation of Poly/ML 5.6 (http://www.polyml.org) is based on the source |
5 https://github.com/polyml/polyml/ commit 72a1c60e3d00. |
5 distribution from https://github.com/polyml/polyml/releases/tag/v5.6/. |
6 |
6 |
7 The included build script is used like this: |
7 The included build script is used like this: |
8 |
8 |
9 ./build src x86-linux --with-gmp |
9 ./build src x86-linux --with-gmp |
10 ./build src x86_64-linux --with-gmp |
10 ./build src x86_64-linux --with-gmp |
12 ./build src x86_64-darwin --without-gmp |
12 ./build src x86_64-darwin --without-gmp |
13 ./build src x86-windows --with-gmp |
13 ./build src x86-windows --with-gmp |
14 ./build src x86_64-windows --with-gmp |
14 ./build src x86_64-windows --with-gmp |
15 |
15 |
16 Also note that the separate "sha1" library module is required for |
16 Also note that the separate "sha1" library module is required for |
17 efficient digesting of strings according to SHA-1. |
17 efficient digestion of strings according to SHA-1. |
18 |
18 |
19 |
19 |
20 Makarius |
20 Makarius |
21 18-Jan-2016 |
21 31-Jan-2016 |