--- 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)
}
-