--- a/src/Pure/ROOT.scala Sun May 16 19:37:15 2021 +0200
+++ b/src/Pure/ROOT.scala Sun May 16 23:22:03 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)
}
-