--- a/Admin/components/main Wed Jun 30 22:14:27 2021 +0200
+++ b/Admin/components/main Thu Jul 01 12:34:42 2021 +0200
@@ -18,7 +18,7 @@
opam-2.0.7
polyml-5.8.2
postgresql-42.2.18
-scala-2.13.6
+scala-2.13.5
smbc-0.4.1
spass-3.8ds-2
sqlite-jdbc-3.34.0
--- a/src/Pure/ROOT.scala Wed Jun 30 22:14:27 2021 +0200
+++ b/src/Pure/ROOT.scala Thu Jul 01 12:34:42 2021 +0200
@@ -21,4 +21,3 @@
val proper_string = Library.proper_string _
def proper_list[A](list: List[A]): Option[List[A]] = Library.proper_list(list)
}
-