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.
standardize drive letters -- important for proper document node identification;
authorwenzelm
Sat, 24 Sep 2011 17:18:39 +0200
changeset 45072 e30442a2b3b2
parent 45071 aa9fe909d322
child 45073 9bcbdf987601
standardize drive letters -- important for proper document node identification;
src/Pure/System/standard_system.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/standard_system.scala	Sat Sep 24 10:45:57 2011 +0200
+++ b/src/Pure/System/standard_system.scala	Sat Sep 24 17:18:39 2011 +0200
@@ -289,7 +289,7 @@
       val rest =
         posix_path match {
           case Cygdrive(drive, rest) =>
-            result_path ++= (drive + ":" + File.separator)
+            result_path ++= (drive.toUpperCase(Locale.ENGLISH) + ":" + File.separator)
             rest
           case Named_Root(root, rest) =>
             result_path ++= File.separator
isabelle