src/Pure/ROOT.scala

   val terminate_lines = Library.terminate_lines _
   val quote = Library.quote _
   val commas = Library.commas _
   val commas_quote = Library.commas_quote _
   val proper_string = Library.proper_string _
-  val proper_string_default = Library.proper_string_default _
 }