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/Tools/check_sources.scala
changeset 62545 8ebffdaf2ce2
parent 62454 38c89353b349
child 62615 8e5b631d203b 
--- a/src/Pure/Tools/check_sources.scala	Mon Mar 07 15:21:50 2016 +0100
+++ b/src/Pure/Tools/check_sources.scala	Mon Mar 07 18:20:22 2016 +0100
@@ -41,7 +41,7 @@
   def check_hg(root: Path)
   {
     Output.writeln("Checking " + root + " ...")
-    Isabelle_System.hg("--repository " + File.shell_path(root) + " root").check
+    Isabelle_System.hg("--repository " + File.bash_path(root) + " root").check
     for {
       file <- Isabelle_System.hg("manifest", root).check.out_lines
       if file.endsWith(".thy") || file.endsWith(".ML") || file.endsWith("/ROOT")
isabelle