src/Pure/System/session.ML
changeset 32738 15bb09ca0378
parent 32061 11f8ee55662d
child 36950 75b8f26f2f07
     1.1 --- a/src/Pure/System/session.ML	Tue Sep 29 11:48:32 2009 +0200
     1.2 +++ b/src/Pure/System/session.ML	Tue Sep 29 11:49:22 2009 +0200
     1.3 @@ -21,10 +21,10 @@
     1.4  
     1.5  (* session state *)
     1.6  
     1.7 -val session = ref ([Context.PureN]: string list);
     1.8 -val session_path = ref ([]: string list);
     1.9 -val session_finished = ref false;
    1.10 -val remote_path = ref (NONE: Url.T option);
    1.11 +val session = Unsynchronized.ref ([Context.PureN]: string list);
    1.12 +val session_path = Unsynchronized.ref ([]: string list);
    1.13 +val session_finished = Unsynchronized.ref false;
    1.14 +val remote_path = Unsynchronized.ref (NONE: Url.T option);
    1.15  
    1.16  
    1.17  (* access path *)