Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isabelle_system.scala
changeset 31829 6906e114c898
parent 31826 7f311da87d5a
child 31927 9a0f28bcc81d 
--- a/src/Pure/System/isabelle_system.scala	Sun Jun 28 16:46:00 2009 +0200
+++ b/src/Pure/System/isabelle_system.scala	Sun Jun 28 16:59:43 2009 +0200
@@ -63,7 +63,7 @@
   private val (platform_root, drive_prefix, shell_prefix) =
   {
     if (Platform.is_windows) {
-      val (drive, root) = Cygwin.config()
+      val (root, drive) = Cygwin.config()
       if (!Cygwin.check(root)) error("Bad Cygwin installation: " + root)
       val shell = List(root + "\\bin\\bash", "-l")
       (root, drive, shell)
isabelle