# HG changeset patch
# User wenzelm
# Date 1218653855 -7200
# Node ID 5125b3c1efc228dd3202f95bed89c2b5e3ff7736
# Parent  c1bc9f4df521b47e170680e7bdbc8a4f9f0e9e89
ProofDisplay.add_hook;

diff -r c1bc9f4df521 -r 5125b3c1efc2 src/Pure/ProofGeneral/proof_general_emacs.ML
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Wed Aug 13 20:57:33 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Wed Aug 13 20:57:35 2008 +0200
@@ -188,7 +188,7 @@
 in
 
 fun setup_present_hook () =
-  Present.add_hook (fn _ => fn res => tell_thm_deps (maps #2 res));
+  ProofDisplay.add_hook (fn res => tell_thm_deps (maps #2 res));
 
 end;
 
diff -r c1bc9f4df521 -r 5125b3c1efc2 src/Pure/ProofGeneral/proof_general_pgip.ML
--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Wed Aug 13 20:57:33 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Wed Aug 13 20:57:35 2008 +0200
@@ -353,7 +353,7 @@
 in
 
 fun setup_present_hook () =
-  Present.add_hook (fn _ => fn res => tell_thm_deps (maps #2 res));
+  ProofDisplay.add_hook (fn res => tell_thm_deps (maps #2 res));
 
 end;