Admin/polyml/README
changeset 73899 9b4579e5bced
parent 72896 7d4e9f7742c6
child 73924 5e12dad8d09b
equal deleted inserted replaced
73898:ac6f8fff036b 73899:9b4579e5bced
     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 (https://www.polyml.org) is based on the
     5 repository version
     5 source distribution from
     6 https://github.com/polyml/polyml/commit/f86ae3dc1686
     6 https://github.com/polyml/polyml/commits/fixes-5.8.2 up to commit
       
     7 e6a463e1614f.
     7 
     8 
     8 The Isabelle repository provides an administrative tool "isabelle
     9 The Isabelle repository provides an administrative tool "isabelle
     9 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
    10 follows.
    11 follows.
    11 
    12 
    46   $ make && make check
    47   $ make && make check
    47   $ sudo make install
    48   $ sudo make install
    48 
    49 
    49 
    50 
    50         Makarius
    51         Makarius
    51         19-Nov-2020
    52         07-May-2021