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.8 (https://www.polyml.org) is based on the |
4 This test version of Poly/ML pre-5.8.1 is based on the repository |
5 source distribution from https://github.com/polyml/polyml/releases/tag/v5.8 |
5 snapshot https://github.com/polyml/polyml/commit/51f3ce2ae95f |
6 |
6 |
7 The Isabelle repository provides an administrative tool "isabelle |
7 The Isabelle repository provides an administrative tool "isabelle |
8 build_polyml", which can be used in the polyml component directory as |
8 build_polyml", which can be used in the polyml component directory as |
9 follows. |
9 follows. |
10 |
10 |
45 $ make && make check |
45 $ make && make check |
46 $ sudo make install |
46 $ sudo make install |
47 |
47 |
48 |
48 |
49 Makarius |
49 Makarius |
50 12-Mar-2019 |
50 01-Nov-2019 |