src/HOL/Import/importrecorder.ML
changeset 32740 9dd0a2f83429
parent 21858 05f57309170c
child 32960 69916a850301
     1.1 --- a/src/HOL/Import/importrecorder.ML	Tue Sep 29 14:59:24 2009 +0200
     1.2 +++ b/src/HOL/Import/importrecorder.ML	Tue Sep 29 16:24:36 2009 +0200
     1.3 @@ -72,9 +72,9 @@
     1.4  		       | AbortReplay of string*string
     1.5  		       | Delta of deltastate list
     1.6  
     1.7 -val history = ref ([]:history_entry list)
     1.8 -val history_dir = ref (SOME "")
     1.9 -val skip_imports = ref false
    1.10 +val history = Unsynchronized.ref ([]:history_entry list)
    1.11 +val history_dir = Unsynchronized.ref (SOME "")
    1.12 +val skip_imports = Unsynchronized.ref false
    1.13  
    1.14  fun set_skip_import b = skip_imports := b
    1.15  fun get_skip_import () = !skip_imports