Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned msg;
authorwenzelm
Wed, 27 Oct 1999 18:12:40 +0200
changeset 7956 edaca60a54cd
parent 7955 f30e08579481
child 7957 0196b2302e21
tuned msg;
src/Pure/Interface/proof_general.ML file | annotate | diff | comparison | revisions 
--- 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