updated to polyml-5.7.1-7 (see also afa7c5a239e6);
authorwenzelm
Sun Jul 22 14:01:52 2018 +0200 (12 months ago)
changeset 686754535a45182d5
parent 68672 9247996782c9
child 68676 74cb08ff2e66
updated to polyml-5.7.1-7 (see also afa7c5a239e6);
Admin/components/components.sha1
Admin/components/main
Admin/polyml/README
src/Pure/Concurrent/synchronized.ML
     1.1 --- a/Admin/components/components.sha1	Sun Jul 22 13:00:38 2018 +0200
     1.2 +++ b/Admin/components/components.sha1	Sun Jul 22 14:01:52 2018 +0200
     1.3 @@ -170,6 +170,7 @@
     1.4  0b896ccc35bd3f2541cd55e6f0ed14637ed9fc68  polyml-5.7.1-4.tar.gz
     1.5  262450ac9966abebae2e1d4f9ae703cfe0f5d8d9  polyml-5.7.1-5.tar.gz
     1.6  1aeb57877d694db7fe4d4395287cddf3bc77710b  polyml-5.7.1-6.tar.gz
     1.7 +e3e7e20b1e0e5d5d68df4cd4caa1e1a7410d46b6  polyml-5.7.1-7.tar.gz
     1.8  171b5783b88522a35e4822b19ef8ba838c04f494  polyml-5.7.1.tar.gz
     1.9  80b923fca3533bf291ff9da991f2262a98b68cc4  polyml-5.7-20170217.tar.gz
    1.10  5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
     2.1 --- a/Admin/components/main	Sun Jul 22 13:00:38 2018 +0200
     2.2 +++ b/Admin/components/main	Sun Jul 22 14:01:52 2018 +0200
     2.3 @@ -11,7 +11,7 @@
     2.4  jortho-1.0-2
     2.5  kodkodi-1.5.2
     2.6  nunchaku-0.5
     2.7 -polyml-5.7.1-6
     2.8 +polyml-5.7.1-7
     2.9  postgresql-42.2.2
    2.10  scala-2.12.6
    2.11  smbc-0.4.1
     3.1 --- a/Admin/polyml/README	Sun Jul 22 13:00:38 2018 +0200
     3.2 +++ b/Admin/polyml/README	Sun Jul 22 14:01:52 2018 +0200
     3.3 @@ -2,8 +2,8 @@
     3.4  ====================
     3.5  
     3.6  This compilation of Poly/ML 5.7.1 (http://www.polyml.org) is based on the
     3.7 -source distribution from https://github.com/polyml/polyml/releases/tag/v5.7.1
     3.8 -with commit 86c52cbd8f6d from the "fixes-5.7.1" branch.
     3.9 +source distribution from https://github.com/polyml/polyml/commits/fixes-5.7.1
    3.10 +commit 31643fd67f47.
    3.11  
    3.12  The Isabelle repository provides the administrative tool "build_polyml",
    3.13  which can be used in the polyml component directory as follows.
    3.14 @@ -54,4 +54,4 @@
    3.15  
    3.16  
    3.17          Makarius
    3.18 -        20-Jun-2018
    3.19 +        22-Jul-2018
     4.1 --- a/src/Pure/Concurrent/synchronized.ML	Sun Jul 22 13:00:38 2018 +0200
     4.2 +++ b/src/Pure/Concurrent/synchronized.ML	Sun Jul 22 14:01:52 2018 +0200
     4.3 @@ -54,7 +54,7 @@
     4.4            Immutable _ => immutable_fail name
     4.5          | Mutable _ =>
     4.6              Thread_Attributes.uninterruptible (fn _ => fn () =>
     4.7 -             (state := Immutable x; (* FIXME RunCall.clearMutableBit state; *)
     4.8 +             (state := Immutable x; RunCall.clearMutableBit state;
     4.9                 ConditionVar.broadcast cond)) ())));
    4.10  
    4.11