Admin/polyml/README
changeset 61795 16901b0392c6
parent 61740 d7e0315fe423
child 61924 55b3d21ab5e5
equal deleted inserted replaced
61794:4c232a2ddeab 61795:16901b0392c6
     1 Poly/ML for Isabelle
     1 Poly/ML for Isabelle
     2 ====================
     2 ====================
     3 
     3 
     4 This is a preview of Poly/ML 5.6, based on
     4 This is a preview of Poly/ML 5.6, based on
     5 https://github.com/polyml/polyml/ commit b49eb17ab516.
     5 https://github.com/polyml/polyml/ commit b97488071c19.
     6 
     6 
     7 The included build script is used like this:
     7 The included build script is used like this:
     8 
     8 
     9   ./build src x86-linux --with-gmp
     9   ./build src x86-linux --with-gmp
    10   ./build src x86_64-linux --with-gmp
    10   ./build src x86_64-linux --with-gmp