updated to polyml-5.8 (official release);
authorwenzelm
Tue Mar 12 15:34:33 2019 +0100 (5 weeks ago ago)
changeset 7008463721ee8c86c
parent 70083 9c697c7ad8d6
child 70085 6f5bd59f75f4
updated to polyml-5.8 (official release);
Admin/components/components.sha1
Admin/components/main
Admin/polyml/README
NEWS
     1.1 --- a/Admin/components/components.sha1	Mon Mar 11 23:02:18 2019 +0100
     1.2 +++ b/Admin/components/components.sha1	Tue Mar 12 15:34:33 2019 +0100
     1.3 @@ -201,6 +201,7 @@
     1.4  5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
     1.5  51e024225b460900da5279f0b91b217085f98cf9  polyml-5.8-20190220.tar.gz
     1.6  20a83fa58d497b533150defe39bcd4540529b25f  polyml-5.8-20190306.tar.gz
     1.7 +d1fd6eced69dc1df7226432fcb824568e0994ff2  polyml-5.8.tar.gz
     1.8  49f1adfacdd6d29fa9f72035d94a31eaac411a97  polyml-test-0a6ebca445fc.tar.gz
     1.9  2a8c4421e0a03c0d6ad556b3c36c34eb11568adb  polyml-test-1236652ebd55.tar.gz
    1.10  a0064c157a59e2706e18512a49a6dca914fa17fc  polyml-test-1b2dcf8f5202.tar.gz
     2.1 --- a/Admin/components/main	Mon Mar 11 23:02:18 2019 +0100
     2.2 +++ b/Admin/components/main	Tue Mar 12 15:34:33 2019 +0100
     2.3 @@ -12,7 +12,7 @@
     2.4  kodkodi-1.5.2-1
     2.5  nunchaku-0.5
     2.6  opam-1.2.2
     2.7 -polyml-5.8-20190306
     2.8 +polyml-5.8
     2.9  postgresql-42.2.5
    2.10  scala-2.12.8
    2.11  smbc-0.4.1
     3.1 --- a/Admin/polyml/README	Mon Mar 11 23:02:18 2019 +0100
     3.2 +++ b/Admin/polyml/README	Tue Mar 12 15:34:33 2019 +0100
     3.3 @@ -1,12 +1,11 @@
     3.4  Poly/ML for Isabelle
     3.5  ====================
     3.6  
     3.7 -This compilation of Poly/ML (https://www.polyml.org) is based on the
     3.8 -repository version
     3.9 -https://github.com/polyml/polyml/commit/fef9f8681c2f (master).
    3.10 +This compilation of Poly/ML 5.8 (https://www.polyml.org) is based on the
    3.11 +source distribution from https://github.com/polyml/polyml/releases/tag/v5.8
    3.12  
    3.13 -The Isabelle repository provides the administrative tool
    3.14 -"build_polyml", which can be used in the polyml component directory as
    3.15 +The Isabelle repository provides an administrative tool "isabelle
    3.16 +build_polyml", which can be used in the polyml component directory as
    3.17  follows.
    3.18  
    3.19  * Linux:
    3.20 @@ -48,4 +47,4 @@
    3.21  
    3.22  
    3.23          Makarius
    3.24 -        06-Mar-2019
    3.25 +        12-Mar-2019
     4.1 --- a/NEWS	Mon Mar 11 23:02:18 2019 +0100
     4.2 +++ b/NEWS	Tue Mar 12 15:34:33 2019 +0100
     4.3 @@ -309,10 +309,10 @@
     4.4  * System option "checkpoint" has been discontinued: obsolete thanks to
     4.5  improved memory management in Poly/ML.
     4.6  
     4.7 -* Poly/ML 5.8 allows to use the native x86_64 platform without the full
     4.8 -overhead of 64-bit values everywhere. This special x86_64_32 mode
     4.9 -provides up to 16GB ML heap, while program code and stacks are allocated
    4.10 -elsewhere. Thus approx. 5 times more memory is available for
    4.11 +* Update to Poly/ML 5.8 allows to use the native x86_64 platform without
    4.12 +the full overhead of 64-bit values everywhere. This special x86_64_32
    4.13 +mode provides up to 16GB ML heap, while program code and stacks are
    4.14 +allocated elsewhere. Thus approx. 5 times more memory is available for
    4.15  applications compared to old x86 mode (which is no longer used by
    4.16  Isabelle). The switch to the x86_64 CPU architecture also avoids
    4.17  compatibility problems with Linux and macOS, where 32-bit applications