Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ProofDisplay.add_hook;
authorwenzelm
Wed, 13 Aug 2008 20:57:35 +0200
changeset 27860 5125b3c1efc2
parent 27859 c1bc9f4df521
child 27861 911bf8e58c4c
ProofDisplay.add_hook;
src/Pure/ProofGeneral/proof_general_emacs.ML file | annotate | diff | comparison | revisions
src/Pure/ProofGeneral/proof_general_pgip.ML file | annotate | diff | comparison | revisions 
--- 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;
 
--- 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;
isabelle