--- a/src/Pure/Isar/session.ML Fri Jun 17 18:33:35 2005 +0200
+++ b/src/Pure/Isar/session.ML Fri Jun 17 18:33:36 2005 +0200
@@ -20,7 +20,7 @@
(* session state *)
-val session = ref ([Sign.PureN]: string list);
+val session = ref ([Context.PureN]: string list);
val session_path = ref ([]: string list);
val session_finished = ref false;
val remote_path = ref (NONE: Url.T option);
@@ -30,7 +30,7 @@
fun path () = ! session_path;
-fun str_of [] = Sign.PureN
+fun str_of [] = Context.PureN
| str_of elems = space_implode "/" elems;
fun name () = "Isabelle/" ^ str_of (path ());