--- a/src/Pure/PIDE/session.ML Wed Nov 02 11:01:22 2022 +0100
+++ b/src/Pure/PIDE/session.ML Wed Nov 02 11:34:24 2022 +0100
@@ -9,7 +9,6 @@
val init: string -> unit
val get_name: unit -> string
val welcome: unit -> string
- val get_keywords: unit -> Keyword.keywords
val shutdown: unit -> unit
val finish: unit -> unit
end;
@@ -30,18 +29,6 @@
fun welcome () = "Welcome to " ^ description () ^ Isabelle_System.isabelle_heading ();
-(* base syntax *)
-
-val keywords = Synchronized.var "Session.keywords" Keyword.empty_keywords;
-
-fun get_keywords () = Synchronized.value keywords;
-
-fun update_keywords () =
- Synchronized.change keywords
- (K (fold (curry Keyword.merge_keywords o Thy_Header.get_keywords o Thy_Info.get_theory)
- (Thy_Info.get_names ()) Keyword.empty_keywords));
-
-
(* finish *)
fun shutdown () =
@@ -53,7 +40,6 @@
(shutdown ();
Par_List.map (Global_Theory.get_thm_names o Thy_Info.get_theory) (Thy_Info.get_names ());
Thy_Info.finish ();
- shutdown ();
- update_keywords ());
+ shutdown ());
end;