updated to polyml-5.8-20190306;
authorwenzelm
Wed Mar 06 19:29:46 2019 +0100 (3 months ago ago)
changeset 7005202e0458d342f
parent 70051 0af6b4a5a7d9
child 70053 bb16c0bb7520
updated to polyml-5.8-20190306;
Admin/components/components.sha1
Admin/components/main
Admin/polyml/README
     1.1 --- a/Admin/components/components.sha1	Wed Mar 06 13:17:17 2019 +0100
     1.2 +++ b/Admin/components/components.sha1	Wed Mar 06 19:29:46 2019 +0100
     1.3 @@ -199,6 +199,7 @@
     1.4  171b5783b88522a35e4822b19ef8ba838c04f494  polyml-5.7.1.tar.gz
     1.5  5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
     1.6  51e024225b460900da5279f0b91b217085f98cf9  polyml-5.8-20190220.tar.gz
     1.7 +20a83fa58d497b533150defe39bcd4540529b25f  polyml-5.8-20190306.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	Wed Mar 06 13:17:17 2019 +0100
     2.2 +++ b/Admin/components/main	Wed Mar 06 19:29:46 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-20190220
     2.8 +polyml-5.8-20190306
     2.9  postgresql-42.2.5
    2.10  scala-2.12.8
    2.11  smbc-0.4.1
     3.1 --- a/Admin/polyml/README	Wed Mar 06 13:17:17 2019 +0100
     3.2 +++ b/Admin/polyml/README	Wed Mar 06 19:29:46 2019 +0100
     3.3 @@ -3,7 +3,7 @@
     3.4  
     3.5  This compilation of Poly/ML (https://www.polyml.org) is based on the
     3.6  repository version
     3.7 -https://github.com/polyml/polyml/commit/c3a630fcc6a6 (master).
     3.8 +https://github.com/polyml/polyml/commit/fef9f8681c2f (master).
     3.9  
    3.10  The Isabelle repository provides the administrative tool
    3.11  "build_polyml", which can be used in the polyml component directory as
    3.12 @@ -48,4 +48,4 @@
    3.13  
    3.14  
    3.15          Makarius
    3.16 -        20-Feb-2019
    3.17 +        06-Mar-2019