src/Pure/Isar/session.ML
changeset 26136 a5198555e3e0
parent 26134 3b499feded50
child 26137 9b47c8a2d869
equal deleted inserted replaced
26135:01f4e5d21eaf 26136:a5198555e3e0
    35 fun str_of [] = Context.PureN
    35 fun str_of [] = Context.PureN
    36   | str_of elems = space_implode "/" elems;
    36   | str_of elems = space_implode "/" elems;
    37 
    37 
    38 fun name () = "Isabelle/" ^ str_of (path ());
    38 fun name () = "Isabelle/" ^ str_of (path ());
    39 
    39 
    40 val log = Path.explode "$ISABELLE_HOME/src/ChangeLog.gz";
    40 val log = Path.explode "$ISABELLE_HOME/ChangeLog.gz";
    41 
    41 
    42 fun welcome () =
    42 fun welcome () =
    43   if Distribution.is_official then
    43   if Distribution.is_official then
    44     "Welcome to " ^ name () ^ " (" ^ Distribution.version ^ ")"
    44     "Welcome to " ^ name () ^ " (" ^ Distribution.version ^ ")"
    45   else
    45   else