src/Pure/Isar/session.ML
changeset 16451 c9f1fc144132
parent 15979 c81578ac2d31
child 16715 ecca9fd2754f
     1.1 --- a/src/Pure/Isar/session.ML	Fri Jun 17 18:33:35 2005 +0200
     1.2 +++ b/src/Pure/Isar/session.ML	Fri Jun 17 18:33:36 2005 +0200
     1.3 @@ -20,7 +20,7 @@
     1.4  
     1.5  (* session state *)
     1.6  
     1.7 -val session = ref ([Sign.PureN]: string list);
     1.8 +val session = ref ([Context.PureN]: string list);
     1.9  val session_path = ref ([]: string list);
    1.10  val session_finished = ref false;
    1.11  val remote_path = ref (NONE: Url.T option);
    1.12 @@ -30,7 +30,7 @@
    1.13  
    1.14  fun path () = ! session_path;
    1.15  
    1.16 -fun str_of [] = Sign.PureN
    1.17 +fun str_of [] = Context.PureN
    1.18    | str_of elems = space_implode "/" elems;
    1.19  
    1.20  fun name () = "Isabelle/" ^ str_of (path ());