equal
deleted
inserted
replaced
1 Poly/ML for Isabelle |
1 Poly/ML for Isabelle |
2 ==================== |
2 ==================== |
3 |
3 |
4 This compilation of Poly/ML (http://www.polyml.org) is based on the |
4 This compilation of Poly/ML (http://www.polyml.org) is based on the |
5 repository version |
5 repository version |
6 https://github.com/polyml/polyml/commit/a3cfdf648da |
6 https://github.com/polyml/polyml/commit/d68c6736402e |
7 |
7 |
8 The Isabelle repository provides an administrative tool "isabelle |
8 The Isabelle repository provides an administrative tool "isabelle |
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 25-Aug-2020 |
51 14-Oct-2020 |