# HG changeset patch
# User wenzelm
# Date 1125763248 -7200
# Node ID 158ef530c153d9076d69b867e6aa05d6cf377af1
# Parent  e89fbfd778c1174b92b418c24c52586c8d957737
tuned msg;

diff -r e89fbfd778c1 -r 158ef530c153 src/Pure/Isar/outer_syntax.ML
--- a/src/Pure/Isar/outer_syntax.ML	Sat Sep 03 17:56:48 2005 +0200
+++ b/src/Pure/Isar/outer_syntax.ML	Sat Sep 03 18:00:48 2005 +0200
@@ -279,7 +279,7 @@
     Present.init_theory name;
     Present.verbatim_source name present_text;
     if ThyHeader.is_old (text_src, pos) then
-     (warning ("Non-Isar file format for theory " ^ quote name ^ " -- deprecated!");
+     (warning ("Non-Isar file format for theory " ^ quote name ^ " (deprecated)");
       ThySyn.load_thy name text;
       Present.old_symbol_source name present_text)   (*note: text presented twice*)
     else