testing NewTestRegisterSave;
authorwenzelm
Sun Nov 05 12:13:27 2017 +0100 (18 months ago)
changeset 67009b68592732783
parent 67008 eed58245b579
child 67010 cf56dd6f3ad1
testing NewTestRegisterSave;
Admin/components/main
src/Pure/Concurrent/single_assignment.ML
     1.1 --- a/Admin/components/main	Sat Nov 04 21:06:02 2017 +0100
     1.2 +++ b/Admin/components/main	Sun Nov 05 12:13:27 2017 +0100
     1.3 @@ -10,7 +10,7 @@
     1.4  jortho-1.0-2
     1.5  kodkodi-1.5.2
     1.6  nunchaku-0.5
     1.7 -polyml-test-e8d82343b692
     1.8 +polyml-test-79534495ee94
     1.9  postgresql-42.1.4
    1.10  scala-2.12.3
    1.11  smbc-0.4.1
     2.1 --- a/src/Pure/Concurrent/single_assignment.ML	Sat Nov 04 21:06:02 2017 +0100
     2.2 +++ b/src/Pure/Concurrent/single_assignment.ML	Sun Nov 05 12:13:27 2017 +0100
     2.3 @@ -54,4 +54,3 @@
     2.4  end;
     2.5  
     2.6  end;
     2.7 -