equal
deleted
inserted
replaced
1 Poly/ML for Isabelle |
1 Poly/ML for Isabelle |
2 ==================== |
2 ==================== |
3 |
3 |
4 This compilation of Poly/ML (https://www.polyml.org) is based on the |
4 This compilation of Poly/ML (https://www.polyml.org) is based on the |
5 repository version |
5 repository version |
6 https://github.com/polyml/polyml/commit/b68438d33c69 (master). |
6 https://github.com/polyml/polyml/commit/8fda4fd22441 (master). |
7 |
7 |
8 The Isabelle repository provides the administrative tool |
8 The Isabelle repository provides the administrative tool |
9 "build_polyml", which can be used in the polyml component directory as |
9 "build_polyml", which can be used in the polyml component directory as |
10 follows. |
10 follows. |
11 |
11 |
46 $ make && make check |
46 $ make && make check |
47 $ sudo make install |
47 $ sudo make install |
48 |
48 |
49 |
49 |
50 Makarius |
50 Makarius |
51 01-Feb-2019 |
51 17-Feb-2019 |