updated to scala-2.12.4;
authorwenzelm
Sun Nov 05 14:35:43 2017 +0100 (18 months ago)
changeset 67010cf56dd6f3ad1
parent 67009 b68592732783
child 67011 bab3208d8d37
updated to scala-2.12.4;
Admin/components/components.sha1
Admin/components/main
src/Pure/Concurrent/event_timer.scala
src/Pure/more_pattern.ML
     1.1 --- a/Admin/components/components.sha1	Sun Nov 05 12:13:27 2017 +0100
     1.2 +++ b/Admin/components/components.sha1	Sun Nov 05 14:35:43 2017 +0100
     1.3 @@ -185,6 +185,7 @@
     1.4  0004e53f885fb165b50c95686dec40d99ab0bdbd  scala-2.12.0.tar.gz
     1.5  74a8c3dab3a25a87357996ab3e95d825dc820fd0  scala-2.12.2.tar.gz
     1.6  d66796a68ec3254b46b17b1f8ee5bcc56a93aacf  scala-2.12.3.tar.gz
     1.7 +1636556167dff2c191baf502c23f12e09181ef78  scala-2.12.4.tar.gz
     1.8  b447017e81600cc5e30dd61b5d4962f6da01aa80  scala-2.8.1.final.tar.gz
     1.9  5659440f6b86db29f0c9c0de7249b7e24a647126  scala-2.9.2.tar.gz
    1.10  abe7a3b50da529d557a478e9f631a22429418a67  smbc-0.4.1.tar.gz
     2.1 --- a/Admin/components/main	Sun Nov 05 12:13:27 2017 +0100
     2.2 +++ b/Admin/components/main	Sun Nov 05 14:35:43 2017 +0100
     2.3 @@ -12,7 +12,7 @@
     2.4  nunchaku-0.5
     2.5  polyml-test-79534495ee94
     2.6  postgresql-42.1.4
     2.7 -scala-2.12.3
     2.8 +scala-2.12.4
     2.9  smbc-0.4.1
    2.10  ssh-java-20161009
    2.11  spass-3.8ds
     3.1 --- a/src/Pure/Concurrent/event_timer.scala	Sun Nov 05 12:13:27 2017 +0100
     3.2 +++ b/src/Pure/Concurrent/event_timer.scala	Sun Nov 05 14:35:43 2017 +0100
     3.3 @@ -29,4 +29,3 @@
     3.4      new Request(time, task)
     3.5    }
     3.6  }
     3.7 -
     4.1 --- a/src/Pure/more_pattern.ML	Sun Nov 05 12:13:27 2017 +0100
     4.2 +++ b/src/Pure/more_pattern.ML	Sun Nov 05 14:35:43 2017 +0100
     4.3 @@ -121,4 +121,3 @@
     4.4  open Pattern;
     4.5  
     4.6  end;
     4.7 -