# HG changeset patch
# User wenzelm
# Date 1442845428 -7200
# Node ID cb9d0c99bd36ec508d7678ff547cdd1b7c1b0b2f
# Parent  8a5d5ca5d8bc963fd5737afc0dfa6f2e320ec092
obsolete, superseded by State panel;

diff -r 8a5d5ca5d8bc -r cb9d0c99bd36 src/Pure/Tools/print_operation.ML
--- a/src/Pure/Tools/print_operation.ML	Mon Sep 21 16:15:50 2015 +0200
+++ b/src/Pure/Tools/print_operation.ML	Mon Sep 21 16:23:48 2015 +0200
@@ -76,8 +76,4 @@
   register "theorems" "theorems of local theory or proof context"
     (Isar_Cmd.pretty_theorems false);
 
-val _ =
-  register "state" "proof state" Toplevel.pretty_state;
-
 end;
-