updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);

--- a/Admin/components/components.sha1	Wed Mar 03 16:54:21 2021 +0100
+++ b/Admin/components/components.sha1	Wed Mar 03 20:56:30 2021 +0100
@@ -330,6 +330,7 @@
 201c05ae9cc382ee6c08af49430e426f6bbe0d5a  scala-2.12.8.tar.gz
 a0622fe75c3482ba7dc3ce74d58583b648a1ff0d  scala-2.13.4-1.tar.gz
 ec53cce3c5edda1145ec5d13924a5f9418995c15  scala-2.13.4.tar.gz
+f51981baf34c020ad103b262f81796c37abcaa4a  scala-2.13.5.tar.gz
 b447017e81600cc5e30dd61b5d4962f6da01aa80  scala-2.8.1.final.tar.gz
 5659440f6b86db29f0c9c0de7249b7e24a647126  scala-2.9.2.tar.gz
 abe7a3b50da529d557a478e9f631a22429418a67  smbc-0.4.1.tar.gz

--- a/Admin/components/main	Wed Mar 03 16:54:21 2021 +0100
+++ b/Admin/components/main	Wed Mar 03 20:56:30 2021 +0100
@@ -15,7 +15,7 @@
 opam-2.0.7
 polyml-test-f86ae3dc1686
 postgresql-42.2.18
-scala-2.13.4-1
+scala-2.13.5
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.34.0

--- a/src/Pure/ROOT.scala	Wed Mar 03 16:54:21 2021 +0100
+++ b/src/Pure/ROOT.scala	Wed Mar 03 20:56:30 2021 +0100
@@ -21,3 +21,4 @@
   val proper_string = Library.proper_string _
   def proper_list[A](list: List[A]): Option[List[A]] = Library.proper_list(list)
 }
+