| changeset 71693 | f249b5c0fea2 |
| parent 71692 | f8e52c0152fe |
| child 71694 | 16aa085f9353 |
--- a/src/Pure/Concurrent/isabelle_thread.ML Sun Apr 05 13:05:40 2020 +0200 +++ b/src/Pure/Concurrent/isabelle_thread.ML Sun Apr 05 13:19:29 2020 +0200 @@ -39,7 +39,7 @@ | SOME name => name); fun set_name base = - Thread_Data.put name_var (SOME (base ^ "/" ^ string_of_int (count ()))); + Thread_Data.put name_var (SOME ("Isabelle." ^ base ^ "-" ^ string_of_int (count ()))); end;