Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Interface/proof_general.ML
changeset 7956 edaca60a54cd
parent 7954 ea6b79f32cfd
child 7960 d5c91c131070 
--- 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 =
isabelle