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/159dc81efc3b |
6 https://github.com/polyml/polyml/commit/f54aa41240d0 |
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 |