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 source distribution from |
5 source distribution from |
6 https://github.com/polyml/polyml/commits/fixes-5.8.2 up to commit |
6 https://github.com/polyml/polyml/commit/960de0cd0795 (shortly before |
7 e6a463e1614f. |
7 official version 5.9). |
8 |
8 |
9 The Isabelle repository provides an administrative tool "isabelle |
9 The Isabelle repository provides an administrative tool "isabelle |
10 build_polyml", which can be used in the polyml component directory as |
10 build_polyml", which can be used in the polyml component directory as |
11 follows. |
11 follows. |
12 |
12 |
53 $ make && make check |
53 $ make && make check |
54 $ sudo make install |
54 $ sudo make install |
55 |
55 |
56 |
56 |
57 Makarius |
57 Makarius |
58 11-May-2021 |
58 21-Oct-2021 |