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/releases/tag/v5.7.1 |
5 source distribution from https://github.com/polyml/polyml/releases/tag/v5.7.1 |
|
6 with commit 86c52cbd8f6d from the "fixes-5.7.1" branch. |
6 |
7 |
7 The Isabelle repository provides the administrative tool "build_polyml", |
8 The Isabelle repository provides the administrative tool "build_polyml", |
8 which can be used in the polyml component directory as follows. |
9 which can be used in the polyml component directory as follows. |
9 |
10 |
10 * Linux: |
11 * Linux: |
51 $ make && make check |
52 $ make && make check |
52 $ sudo make install |
53 $ sudo make install |
53 |
54 |
54 |
55 |
55 Makarius |
56 Makarius |
56 11-Feb-2018 |
57 20-Jun-2018 |