Admin/polyml/README
changeset 56958 b2c2f74d1c93
parent 53686 432edb1a2469
child 57689 e189ba8a64b9
equal deleted inserted replaced
56952:efa2a83d548b 56958:b2c2f74d1c93
     1 Poly/ML for Isabelle
     1 Poly/ML for Isabelle
     2 ====================
     2 ====================
     3 
     3 
     4 This compilation of Poly/ML 5.5.1 (http://www.polyml.org) is based on the
     4 This compilation of Poly/ML 5.5.2 (http://www.polyml.org) is based on the
     5 official source distribution polyml.5.5.1.tar.gz from
     5 official source distribution polyml.5.5.2.tar.gz from
     6 http://sourceforge.net/projects/polyml/.
     6 http://sourceforge.net/projects/polyml/.
     7 
     7 
     8 The included build script is used like this:
     8 The included build script is used like this:
     9 
     9 
    10   ./build src x86-linux --with-gmp
    10   ./build src x86-linux --with-gmp
    16 Also note that the separate "sha1" library module is required for
    16 Also note that the separate "sha1" library module is required for
    17 efficient digesting of strings according to SHA-1.
    17 efficient digesting of strings according to SHA-1.
    18 
    18 
    19 
    19 
    20 	Makarius
    20 	Makarius
    21 	17-Sep-2013
    21 	14-May-2014