Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
capitalize fully (like in Emacs);
authorwenzelm
Wed, 16 Apr 2014 12:32:36 +0200
changeset 56602 e7e20d72756a
parent 56601 8f80a243857d
child 56603 4f45570e532d
capitalize fully (like in Emacs);
src/Pure/General/word.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/word.scala	Wed Apr 16 12:26:12 2014 +0200
+++ b/src/Pure/General/word.scala	Wed Apr 16 12:32:36 2014 +0200
@@ -37,7 +37,7 @@
     if (str.length == 0) str
     else {
       val n = Character.charCount(str.codePointAt(0))
-      uppercase(str.substring(0, n)) + str.substring(n)
+      uppercase(str.substring(0, n)) + lowercase(str.substring(n))
     }
 
   sealed abstract class Case
isabelle