equal
deleted
inserted
replaced
1 Poly/ML for Isabelle |
1 Poly/ML for Isabelle |
2 ==================== |
2 ==================== |
3 |
3 |
4 This compilation of Poly/ML 5.7.1 (http://www.polyml.org) is based on the |
4 This compilation of Poly/ML 5.7.1 (http://www.polyml.org) is based on the |
5 source distribution from https://github.com/polyml/polyml/commits/fixes-5.7.1 |
5 source distribution from https://github.com/polyml/polyml/commits/fixes-5.7.1 |
6 commit 31643fd67f47. |
6 up to commit b3d1ff33a4b4. |
7 |
7 |
8 The Isabelle repository provides the administrative tool "build_polyml", |
8 The Isabelle repository provides the administrative tool "build_polyml", |
9 which can be used in the polyml component directory as follows. |
9 which can be used in the polyml component directory as follows. |
10 |
10 |
11 * Linux: |
11 * Linux: |
52 $ make && make check |
52 $ make && make check |
53 $ sudo make install |
53 $ sudo make install |
54 |
54 |
55 |
55 |
56 Makarius |
56 Makarius |
57 22-Jul-2018 |
57 28-Jul-2018 |