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/0a6ebca445fc (master). |
6 https://github.com/polyml/polyml/commit/a444f281ccec (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 21-Jan-2019 |
51 23-Jan-2019 |