diff -r aaf307f865c9 -r 40a365360680 src/Pure/PIDE/session.ML
--- 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;