src/Pure/ROOT.scala

--- a/src/Pure/ROOT.scala	Thu May 04 11:34:42 2017 +0200
+++ b/src/Pure/ROOT.scala	Thu May 04 12:15:50 2017 +0200
@@ -18,4 +18,6 @@
   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 _
 }