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 message, e.g. for Pure bootstrap;
authorwenzelm
Sun, 23 May 2021 23:15:04 +0200
changeset 73776 9f205ca4178a
parent 73775 6bd747b71bd3
child 73777 52e43a93d51f
tuned message, e.g. for Pure bootstrap;
src/Pure/PIDE/session.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/session.ML	Sun May 23 23:00:10 2021 +0200
+++ b/src/Pure/PIDE/session.ML	Sun May 23 23:15:04 2021 +0200
@@ -25,7 +25,7 @@
 
 fun get_name () = Synchronized.value session;
 
-fun description () = "Isabelle/" ^ get_name ();
+fun description () = (case get_name () of "" => "Isabelle" | name => "Isabelle/" ^ name);
 
 fun welcome () = "Welcome to " ^ description () ^ Isabelle_System.isabelle_heading ();
isabelle