src/Pure/Thy/present.ML
changeset 53171 a5e54d4d9081
parent 52743 a7d69a11f395
child 54455 1d977436c1bf
     1.1 --- a/src/Pure/Thy/present.ML	Fri Aug 23 20:09:34 2013 +0200
     1.2 +++ b/src/Pure/Thy/present.ML	Fri Aug 23 20:35:50 2013 +0200
     1.3 @@ -52,8 +52,8 @@
     1.4    fun merge _ = empty;
     1.5  );
     1.6  
     1.7 -val _ = Context.>> (Context.map_theory
     1.8 -  (Browser_Info.put {chapter = Context.PureN, name = Context.PureN}));
     1.9 +val _ = Theory.setup
    1.10 +  (Browser_Info.put {chapter = Context.PureN, name = Context.PureN});
    1.11  
    1.12  val session_name = #name o Browser_Info.get;
    1.13  val session_chapter_name = (fn {chapter, name} => [chapter, name]) o Browser_Info.get;