equal
deleted
inserted
replaced
1 Poly/ML for Isabelle |
1 Poly/ML for Isabelle |
2 ==================== |
2 ==================== |
3 |
3 |
4 This test version of Poly/ML pre-5.8.1 is based on the repository |
4 This test version of Poly/ML pre-5.8.1 is based on the repository |
5 snapshot https://github.com/polyml/polyml/commit/6025c250b4f1 |
5 snapshot https://github.com/polyml/polyml/commit/fb10196d998b |
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 28-Feb-2020 |
50 08-Jul-2020 |