tuned msg;

--- a/src/Pure/Thy/thy_info.ML	Mon Aug 16 22:03:48 1999 +0200
+++ b/src/Pure/Thy/thy_info.ML	Mon Aug 16 22:04:07 1999 +0200
@@ -248,7 +248,7 @@
   in
     if null missing_files then ()
     else warning (loader_msg "unresolved dependencies of theory" [name] ^
-      "\non file(s): " ^ commas_quote missing_files);
+      " on file(s): " ^ commas_quote missing_files);
     change_deps name (fn _ => Some (make_deps true false (Some master) files));
     perform Update name
   end;