src/Pure/library.scala

--- a/src/Pure/library.scala	Mon Sep 10 13:19:56 2012 +0200
+++ b/src/Pure/library.scala	Mon Sep 10 15:20:50 2012 +0200
@@ -9,6 +9,7 @@
 
 
 import java.lang.System
+import java.util.Locale
 import java.awt.Component
 import javax.swing.JOptionPane
 
@@ -84,6 +85,10 @@
     if (str.endsWith("\n")) str.substring(0, str.length - 1)
     else str
 
+  def capitalize(str: String): String =
+    if (str.length == 0) str
+    else str.substring(0, 1).toUpperCase(Locale.ENGLISH) + str.substring(1)
+
 
   /* quote */