author | wenzelm |
Wed, 20 Jan 2016 23:19:52 +0100 | |
changeset 62226 | 9f7293af6fb8 |
parent 62225 | c8c48906b858 |
child 62227 | 6eeaaefcea56 |
--- a/src/Pure/Tools/check_source.scala Wed Jan 20 23:05:57 2016 +0100 +++ b/src/Pure/Tools/check_source.scala Wed Jan 20 23:19:52 2016 +0100 @@ -44,7 +44,7 @@ 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") + if file.endsWith(".thy") || file.endsWith(".ML") || file.endsWith("/ROOT") } check_file(root + Path.explode(file)) }