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.5.3, based on |
4 This is a preview of Poly/ML 5.6, based on |
5 https://github.com/polyml/polyml/ |
5 https://github.com/polyml/polyml/ commit b49eb17ab516. |
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 |
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 digesting of strings according to SHA-1. |
18 |
18 |
19 |
19 |
20 Makarius |
20 Makarius |
21 31-Aug-2015 |
21 23-Nov-2015 |