# HG changeset patch
# User wenzelm
# Date 1214244058 -7200
# Node ID 91c0c894e1b4ce01b9f551163b02f7fde5a6acbb
# Parent  1f0ac20db386640098ed93c2d4bd45bcf21e8b32
session name: empty for Pure and by default;

diff -r 1f0ac20db386 -r 91c0c894e1b4 src/Pure/Thy/present.ML
--- a/src/Pure/Thy/present.ML	Mon Jun 23 19:00:24 2008 +0200
+++ b/src/Pure/Thy/present.ML	Mon Jun 23 20:00:58 2008 +0200
@@ -76,7 +76,7 @@
 structure BrowserInfoData = TheoryDataFun
 (
   type T = {name: string, session: string list, is_local: bool};
-  val empty = {name = Context.PureN, session = [], is_local = false}: T;
+  val empty = {name = "", session = [], is_local = false}: T;
   val copy = I;
   fun extend _ = empty;
   fun merge _ _ = empty;
@@ -86,8 +86,6 @@
 val get_info = BrowserInfoData.get;
 val session_name = #name o get_info;
 
-val _ = Context.>> (Context.map_theory (put_info {name = "", session = [], is_local = false}));
-
 
 
 (** graphs **)