# HG changeset patch
# User wenzelm
# Date 1372109957 -7200
# Node ID 67f57dc115b9d377ecd44e1e87ba30ab1696014e
# Parent  4cf3f6153eb8cee65aabc0fa0b6d18ddc717af84
obsolete -- cf. isabelle.Keywords in Scala;

diff -r 4cf3f6153eb8 -r 67f57dc115b9 src/Pure/Isar/keyword.ML
--- a/src/Pure/Isar/keyword.ML	Mon Jun 24 23:33:14 2013 +0200
+++ b/src/Pure/Isar/keyword.ML	Mon Jun 24 23:39:17 2013 +0200
@@ -52,7 +52,6 @@
   val command_files: string -> string list
   val command_tags: string -> string list
   val dest: unit -> string list * string list
-  val status: unit -> unit
   val define: string * T option -> unit
   val is_diag: string -> bool
   val is_control: string -> bool
@@ -199,18 +198,6 @@
 fun dest () = pairself (sort_strings o Scan.dest_lexicon) (get_lexicons ());
 
 
-(* status *)
-
-fun status () =
-  let
-    val Keywords {lexicons = (minor, _), commands} = get_keywords ();
-    val _ = sort_strings (Scan.dest_lexicon minor) |> List.app (fn name =>
-      writeln ("\fOuter syntax keyword " ^ quote name));
-    val _ = sort_wrt #1 (Symtab.dest commands) |> List.app (fn (name, kind) =>
-      writeln ("\fOuter syntax keyword " ^ quote name ^ " :: " ^ kind_of kind));
-  in () end;
-
-
 (* define *)
 
 fun define (name, opt_kind) = change_keywords (fn ((minor, major), commands) =>
diff -r 4cf3f6153eb8 -r 67f57dc115b9 src/Pure/System/session.ML
--- a/src/Pure/System/session.ML	Mon Jun 24 23:33:14 2013 +0200
+++ b/src/Pure/System/session.ML	Mon Jun 24 23:39:17 2013 +0200
@@ -54,7 +54,6 @@
  (Goal.shutdown_futures ();
   Thy_Info.finish ();
   Present.finish ();
-  Keyword.status ();
   Outer_Syntax.check_syntax ();
   Future.shutdown ();
   Event_Timer.shutdown ();