Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Context.PureN;
authorwenzelm
Fri, 17 Jun 2005 18:33:36 +0200
changeset 16451 c9f1fc144132
parent 16450 66667013ca6e
child 16452 71f3e0041f14
Context.PureN;
src/Pure/Isar/session.ML file | annotate | diff | comparison | revisions 
--- 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 ());
isabelle