| changeset 27860 | 5125b3c1efc2 |
| parent 27828 | edafacb690a3 |
| child 27865 | 27a8ad9612a3 |
--- 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;