| changeset 10937 | 5651e0636e38 |
| parent 10571 | fdde440a9033 |
| child 11509 | d54301357129 |
--- a/src/Pure/Isar/session.ML Thu Jan 18 20:40:33 2001 +0100 +++ b/src/Pure/Isar/session.ML Thu Jan 18 20:40:47 2001 +0100 @@ -32,7 +32,7 @@ fun path () = ! session_path; -fun str_of [] = "Pure" +fun str_of [] = pure | str_of elems = space_implode "/" elems; fun welcome () = "Welcome to Isabelle/" ^ str_of (path ()) ^ " (" ^ version ^ ")";