# HG changeset patch
# User wenzelm
# Date 941040760 -7200
# Node ID edaca60a54cd87ffc9c697710d81bcbab38970ef
# Parent  f30e08579481bc159e74f6b9d3ed5b47bbe238a1
tuned msg;

diff -r f30e08579481 -r edaca60a54cd src/Pure/Interface/proof_general.ML
--- a/src/Pure/Interface/proof_general.ML	Wed Oct 27 18:11:54 1999 +0200
+++ b/src/Pure/Interface/proof_general.ML	Wed Oct 27 18:12:40 1999 +0200
@@ -136,7 +136,7 @@
 fun which_context () =
   (case Context.get_context () of
     Some thy => "  Using current (dynamic!) one: " ^
-      (case try PureThy.get_name thy of Some name => quote name | None => "<unnamed>") ^ "."
+      (case try PureThy.get_name thy of Some name => quote name | None => "<unnamed>")
   | None => "");
 
 fun try_update_thy_only file =