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.
tuned message;
authorwenzelm
Thu, 22 Jul 2010 23:29:39 +0200
changeset 37943 3cbd7fa164b1
parent 37942 050ca02c6dfc
child 37944 4b7afae88c57
tuned message;
src/Pure/Thy/thy_load.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_load.ML	Thu Jul 22 22:58:18 2010 +0200
+++ b/src/Pure/Thy/thy_load.ML	Thu Jul 22 23:29:39 2010 +0200
@@ -101,7 +101,7 @@
 fun check_file dir file =
   try_file dir file handle NOT_FOUND (prfxs, path) =>
     error ("Could not find file " ^ quote (Path.implode path) ^
-      " in " ^ commas_quote (map Path.implode prfxs));
+      "\nin " ^ commas_quote (map Path.implode prfxs));
 
 fun check_thy dir name = check_file dir (thy_path name);
isabelle