# HG changeset patch
# User wenzelm
# Date 1126018798 -7200
# Node ID 881f5873bac0f0838d0137eb0b12b8a91b6a9769
# Parent  43c86fedec8258bac763e18e3a67949cb6a835aa
tuned msg;

diff -r 43c86fedec82 -r 881f5873bac0 src/Pure/Isar/outer_syntax.ML
--- a/src/Pure/Isar/outer_syntax.ML	Tue Sep 06 16:59:57 2005 +0200
+++ b/src/Pure/Isar/outer_syntax.ML	Tue Sep 06 16:59:58 2005 +0200
@@ -278,7 +278,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