diff -r ea00d17eba3b -r 1d7a7e33fd67 src/Pure/Tools/check_source.scala
--- a/src/Pure/Tools/check_source.scala	Thu Aug 20 17:41:50 2015 +0100
+++ b/src/Pure/Tools/check_source.scala	Thu Aug 20 19:15:17 2015 +0200
@@ -41,7 +41,7 @@
   def check_hg(root: Path)
   {
     Output.writeln("Checking " + root + " ...")
-    Isabelle_System.hg("--repository " + Isabelle_System.shell_path(root) + " root").check_error
+    Isabelle_System.hg("--repository " + File.shell_path(root) + " root").check_error
     for {
       file <- Isabelle_System.hg("manifest", root).check_error.out_lines
       if file.endsWith(".thy") || file.endsWith(".ML")